[isabelle-dev] Subscripts within identifiers
tjark.weber at it.uu.se
Sat Jul 13 11:28:28 CEST 2013
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 836 bytes
Desc: This is a digitally signed message part
More information about the isabelle-dev