On 26 Dec 2011, at 16:11, AUGER Cédric wrote:
There is http://www.stixfonts.org/ For typesetting with Xe[La]TeX or Lua[La]TeX, use XITS (in the TeXLive package).
(And then we'll have to deal with folks trying to use the letter, because everyone knows the Roman alphabet is the only one that matters and of *course* Greek letters are symbol characters.... Pfeh.)
This is the big problem right now: how to enter these symbols efficiently.
Under Xorg, "XCompose" might be your friend! I have a whole bunch of them for Coq programing.
Having something like:
---------8<--------------------------------------------------------- # ~/.XCompose contents:
# the Compose file of the xorg distribution to have a lot # of useful symbols such as "☭" ^^ include "/usr/local/lib/X11/locale/en_US.UTF-8/Compose" # the Compose file that could be included in Haskell distributions include "/usr/local/share/haskell/Compose" # other personnal notations ------->8----------------------------------------------------------- # /usr/local/share/haskell/Compose contents:
# maybe to be downloaded via a Hackage cabal package? # of course "
<H>" should be replaced by a # user specified combo <H> <colon> <colon> : "∷" <H> <greater> <greater> <greater> : "⋙" <H> <less> <less> <less> : "⋘" <H> <less> <minus> <less> : "↢" U2919 <H> <greater> <minus> <greater> : "↣" U291A <H> <minus> <less> <less> : U291B <H> <greater> <greater> <minus> : U291C <H> <a> <l> <l> : "∀" <H> <e> <x> : "∃" <H> <a> <n> <d> : "∧" <H> <o> <r> : "∨" <H> <a> <b> <s> <t> : "λ" <H> <c> <o> <m> <p> : "∘" <H> <minus> <greater> : "→" --------8<---------------------------------------------------------- But if you are under Windows, or Mac OS, I cannot tell (as well as I cannot tell if you are under a POSIX system not running xorg, such as the tty1..ttyn consoles)
On OS X one can make ones owns key maps, like with the program on the link below, but it is very time consuming. Hans http://scripts.sil.org/cms/scripts/page.php?site_id=nrsi&id=ukelele