Re: [isabelle] Backtick

Am 18.12.2010 um 18:55 schrieb Victor Porton:

> Formulas may be quotes by backticks, like `X=0`.
> But what if a formula to be quoted contains backtick, like "f`a". Can we quote such a formula?

This is explained on p. 29 of the Isar manual, in the "Lexical Matters" section:

"The syntax of string admits any characters, including newlines; “"” (double-quote) and “\” (backslash) need to be escaped by a backslash; arbitrary character codes may be specified as “\ddd”, with three decimal digits. Alternative strings according to altstring are analogous, using single backquotes instead."


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