etc/symbols
changeset 42244 15bba1fb39d1
parent 40444 020c16837866
child 43455 4b4b93672f15
     1.1 --- a/etc/symbols	Wed Apr 06 10:59:43 2011 +0200
     1.2 +++ b/etc/symbols	Wed Apr 06 12:55:53 2011 +0200
     1.3 @@ -124,7 +124,7 @@
     1.4  \<theta>                code: 0x0003b8  font: Isabelle
     1.5  \<iota>                 code: 0x0003b9  font: Isabelle
     1.6  \<kappa>                code: 0x0003ba  font: Isabelle
     1.7 -\<lambda>               code: 0x0003bb  font: Isabelle
     1.8 +\<lambda>               code: 0x0003bb  font: Isabelle  abbrev: %
     1.9  \<mu>                   code: 0x0003bc  font: Isabelle
    1.10  \<nu>                   code: 0x0003bd  font: Isabelle
    1.11  \<xi>                   code: 0x0003be  font: Isabelle