Email Gateway (Aug 18 2022 at 11:07): Email Gateway (Aug 18 2022 at 11:07):From: Perry James <perry.dsrg@gmail.com>
Hi,
Section 2.1 of "The Isabelle/Isar Reference Manual" (isar-ref.pdf) does
not include \<chi> as a Greek letter. Is this deliberate or an oversight?
Uppercase Greek letters that have the same form as one in the Latin
alphabet are not included, so \<Chi> is not expected, but all the lowercase
letters have different forms.
A trivial patch to Isabelle/src/Pure/General/symbol.ML is included below.
Perry
==
Perry James
perry@dsrg.org
*** symbol.ML 2007-09-16 08:52:27.000000000 -0400
--- symbol.ML.new 2007-12-03 09:34:36.000000000 -0500
* 341,346 **
--- 341,347 ----
("\\<tau>", Letter),
("\\<upsilon>", Letter),
("\\<phi>", Letter),
Last updated: May 03 2024 at 12:27 UTC