[isabelle] How to use latex commands inside proof?



I'd like to put in some comments like so:

proof -
...
-- "some typeset math here like $a \in A$"
...

but it seems like \ can't be used, and \\ doesn't escape it. What's the
correct way?

-Holden



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.