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