Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] chi not in greek

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),

• ("\\<chi>", Letter),
  ("\\<psi>", Letter),
  ("\\<omega>", Letter),
  ("\\<Gamma>", Letter),

Last updated: Nov 21 2024 at 12:39 UTC