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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
