# Talk:Glossary

From The Twelf Project

TODO (delete from this page when done):

basic:

- http://en.wikipedia.org/wiki/List_of_mathematical_symbols shows it as "much greater than." I see it in

high priority:

From The Twelf Project

TODO (delete from this page when done):

basic:

- http://en.wikipedia.org/wiki/List_of_mathematical_symbols shows it as "much greater than." I see it in

high priority: