9 Jun
2007
9 Jun
'07
10:20 a.m.
Hi
Does anybody know what the magical LaTeX command is to turn (say) "++" into two overprinted pluses? (As seems to be fashionable...)
Just use lhs2tex and you get this (and more) for free. http://www.informatik.uni-bonn.de/~loeh/lhs2tex/ Thanks Neil