Brian Sniffen wrote:
lhs2TeX uses
\newcommand{\plus}{\mathbin{+\!\!\!+}}
Ah, OK. That looks good... Thanks. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
