*To*: Holden Lee <hl422 at cam.ac.uk>, <cl-isabelle-users at lists.cam.ac.uk>*Subject*: Re: [isabelle] How to use latex commands inside proof?*From*: Andreas Lochbihler <andreas.lochbihler at inf.ethz.ch>*Date*: Thu, 28 Aug 2014 14:46:44 +0200*In-reply-to*: <CAKSvo_bVLYPr923n39cycUREG-OEGC-n6neK-Nz114RWr34iFQ@mail.gmail.com>*References*: <CAKSvo_bVLYPr923n39cycUREG-OEGC-n6neK-Nz114RWr34iFQ@mail.gmail.com>*User-agent*: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0

Hi Holden,

proof ... txt {* $a \in A$ *} .. end Best, Andreas On 28/08/14 14:41, 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? -Holden

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

**References**:**[isabelle] How to use latex commands inside proof?***From:*Holden Lee

- Previous by Date: [isabelle] How to use latex commands inside proof?
- Next by Date: Re: [isabelle] How to use latex commands inside proof?
- Previous by Thread: [isabelle] How to use latex commands inside proof?
- 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