Re: [isabelle] syntax issue in document preparation



On Tue, 30 Dec 2014, Gergely Buday wrote:

My aim is a list that contains theorem names and the theorems itself. First I used plain text but the underscores in theorem names break latex typesetting as it thinks as if it were some subscript and missing the math mode $. Replacing underscores with backslash-underscore is tedious by hand.

Such manual LaTeX-ing is indeed pointless in the Isabelle document preparation system. If you need unchecked text that looks like formal text, the @{text} antiquotation can do that.


	Makarius

----------------------------------------------------------------------------
                  http://stop-ttip.org  1,236,823 Participants
----------------------------------------------------------------------------




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