[isabelle-dev] Subscripts within identifiers

[Tobias Nipkow]

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
reduced?

Tobias