the font, symbols, only has the greek symbols. but I want to have the symbols of greater-than-or-equal, less-than-or-equal, universal quantification, existential quantification, conjunction, disjunction and negation.
is there a way to get these symbols in a fairly simple way?
The simplest way is probably to build each symbol as a bitmap and use the -image option or the -bitmap option to put it in the label.
A less robust way would be to find a font that has the symbols you want, if such exists, and use that. This makes the application very platform-specific, though.
This site uses cookies to help personalise content, tailor your experience and to keep you logged in if you register.
By continuing to use this site, you are consenting to our use of cookies.