*To*: cl-isabelle-users at lists.cam.ac.uk*Subject*: [isabelle] How to use latex commands inside proof?*From*: Holden Lee <hl422 at cam.ac.uk>*Date*: Thu, 28 Aug 2014 13:41:54 +0100*Sender*: oldheneel at gmail.com

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

**Follow-Ups**:**Re: [isabelle] How to use latex commands inside proof?***From:*Andreas Lochbihler

- Previous by Date: Re: [isabelle] Coloring of background of inner syntax
- Next by Date: Re: [isabelle] How to use latex commands inside proof?
- Previous by Thread: Re: [isabelle] Coloring of background of inner syntax
- Next by Thread: Re: [isabelle] How to use latex commands inside proof?
- Cl-isabelle-users August 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