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