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.


          1,236,823 Participants

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