j
k
j a
j l
Brian Sniffen wrote:
lhs2TeX uses \newcommand{\plus}{\mathbin{+\!\!\!+}}
Ah, OK. That looks good... Thanks.
Back to the thread
Back to the list
