Re: [isabelle] Subscripting?

On Wed, 6 Aug 2014, Holden Lee wrote:

I was wondering whether there is any way to display subscripts nicely in
jEdit? (I mean things like ⊗⇘G⇙, \oplus=_(G=_) .) Larry mentioned that it
existed in Proof General.

Lets say there was an approximative rendering in Proof General Emacs, which often caused problems like editor font-lock lock-up.

For more background information see also the following thread on "(structure) and \<index>"


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