[isabelle-dev] Subscripts within identifiers

Tobias Nipkow nipkow at in.tum.de
Wed Jul 10 17:34:49 CEST 2013

Am 10/07/2013 16:54, schrieb Makarius:
> That is an instance of \<^sup>LETTER, i.e. the remaining overlap from the
> earlier discussion on this thread.  I have presently escaped the situation by
> using \<^bsup> \<^esup> which looks almost the same in Latex, but is a bit
> awkward in Isabelle/jEdit.

Why don't you display \<^bsup> \<^esup> properly in jedit, then the problem is


More information about the isabelle-dev mailing list