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