Re: [isabelle] nested \<^bsub> .. \<^esub>
In X-symbol, I need nested
\<^bsub>...\<^ bsub>...\<^esub>...\<^esub> and
You can enter these nested sub/superscripts. Since x-symbol can only
handle one-level sub/superscripts, it doesn't look nice in xemacs. That
is, the subscripted text is displayed verbatim. One-level
sub/superscripts are already just a hack, and unfortunately there's no
hope of getting that done properly in the near future. Especially so,
since x-symbol isn't maintained any more by its author.
When generating documents, you get the expected output, though.
This archive was generated by a fusion of
Pipermail (Mailman edition) and