avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
authorwenzelm
Mon Nov 08 20:55:27 2010 +0100 (2010-11-08)
changeset 40444020c16837866
parent 40443 41c32616298c
child 40446 27c1a1c82eba
avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);
etc/symbols
     1.1 --- a/etc/symbols	Mon Nov 08 20:50:56 2010 +0100
     1.2 +++ b/etc/symbols	Mon Nov 08 20:55:27 2010 +0100
     1.3 @@ -181,7 +181,7 @@
     1.4  \<downharpoonleft>      code: 0x0021c3  font: Isabelle
     1.5  \<downharpoonright>     code: 0x0021c2  font: Isabelle
     1.6  \<upharpoonleft>        code: 0x0021bf  font: Isabelle
     1.7 -\<upharpoonright>       code: 0x0021be  font: Isabelle
     1.8 +#\<upharpoonright>       code: 0x0021be  font: Isabelle
     1.9  \<restriction>          code: 0x0021be  font: Isabelle
    1.10  \<Colon>                code: 0x002237  font: Isabelle
    1.11  \<up>                   code: 0x002191  font: Isabelle