[isabelle-dev] Subscripts within identifiers

[Tjark Weber]

On Fri, 2013-07-12 at 19:41 +0200, Makarius wrote:
> How would "Omega Algebras" fare with notation A\<^sup>\<infinity> instead 
> of A\<^sup>\<omega>?

Worse. Of course, a name is just that, but for clarity and convenience,
it is nice to be able to call things in Isabelle what they are called
in the literature. For serious output (e.g., papers),
A\<^sup>\<infinity> instead of A\<^sup>\<omega> would demand further
post-processing.

Best,
Tjark
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130713/f94caa5f/attachment.sig>