Re: [isabelle] jEdit: Abbreviations



On 02/14/2013 11:04 PM, Gottfried Barrow wrote:
\<langle>a,b\<rangle>
For this special case, the abbreviations <. and .> are very handy. Then you also do not need any spacing.

How did I find those? Consult the "Symbol" tab in Isabelle/jEdit. Go to the symbol you are interested in and hover the mouse over the corresponding button. If there is an ASCII abbreviation in place, it will be indicated by "abbrev:", e.g., "abbrev: <." for "\<langle>".

cheers

chris







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