*To*: "W. Douglas Maurer" <maurer at gwu.edu>*Subject*: Re: [isabelle] How to use latex commands inside proof?*From*: Makarius <makarius at sketis.net>*Date*: Fri, 12 Sep 2014 17:10:55 +0200 (CEST)*Cc*: isabelle-users at cl.cam.ac.uk*In-reply-to*: <a0620074cd0368526c8f1@[192.168.1.2]>*References*: <a0620071ad0259626bbd2@[192.168.1.2]> <alpine.LNX.2.00.1409102001030.41896@lxbroy10.informatik.tu-muenchen.de> <a0620074bd0366ba6945f@[192.168.1.2]> <alpine.LNX.2.00.1409102331490.20237@lxbroy10.informatik.tu-muenchen.de> <a0620074cd0368526c8f1@[192.168.1.2]>*User-agent*: Alpine 2.00 (LNX 1167 2008-08-23)

On Wed, 10 Sep 2014, W. Douglas Maurer wrote:

I can't figure out "Volume 110, Issue 40", which is probably just a privatenumbering by the mailing list server due to your subscription, which ispresumably in "digest" mode.Can you point out the concrete problem again?Here is what Holden Lee wrote: "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?

Makarius

**References**:**Re: [isabelle] How to use latex commands inside proof?***From:*Makarius

- Previous by Date: Re: [isabelle] Isabelle 2014 and proof general
- Next by Date: Re: [isabelle] Isabelle 2014 and proof general
- Previous by Thread: Re: [isabelle] How to use latex commands inside proof?
- Next by Thread: Re: [isabelle] How to use latex commands inside proof?
- Cl-isabelle-users September 2014 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list