[isabelle] Subscripting?



Hi,

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.

-Holden



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