Re: [isabelle] Document processing with XeLaTeX and unicode symbols

> text{* In the proof of the main theorem from the lecture notes, the
> concept of a »fixed copy« of a graph is fundamental. *}

I should add that I produce these symbols by typing AltGr+Y (or +X,
respectively) in jEdit's text area.

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