# HG changeset patch
# User wenzelm
# Date 1289246127 -3600
# Node ID 020c16837866a96f797c61079d90a1e6ce89b8d9
# Parent  41c32616298c885867002c2b4b15a139bd281cf5
avoid clash of \<upharpoonright> vs. \<restriction> (cf. 666ea7e62384 and 3c49dbece0a8);

diff -r 41c32616298c -r 020c16837866 etc/symbols
--- a/etc/symbols	Mon Nov 08 20:50:56 2010 +0100
+++ b/etc/symbols	Mon Nov 08 20:55:27 2010 +0100
@@ -181,7 +181,7 @@
 \<downharpoonleft>      code: 0x0021c3  font: Isabelle
 \<downharpoonright>     code: 0x0021c2  font: Isabelle
 \<upharpoonleft>        code: 0x0021bf  font: Isabelle
-\<upharpoonright>       code: 0x0021be  font: Isabelle
+#\<upharpoonright>       code: 0x0021be  font: Isabelle
 \<restriction>          code: 0x0021be  font: Isabelle
 \<Colon>                code: 0x002237  font: Isabelle
 \<up>                   code: 0x002191  font: Isabelle