10 Jun
2007
10 Jun
'07
6:22 p.m.
Brian Sniffen wrote:
lhs2TeX uses \newcommand{\plus}{\mathbin{+\!\!\!+}}
Ah, OK. That looks good... Thanks.
6989
Age (days ago)
6989
Last active (days ago)
0 comments
1 participants
participants (1)
-
Andrew Coppin