From 12cfbfb4e188285810fcb7613411b56e2b0628a7 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 15 Dec 2000 16:57:01 +0000
Subject: tuned some (rarely used) symbols;

---
 isa/x-symbol-isabelle.el | 17 +++++++++++------
 1 file changed, 11 insertions(+), 6 deletions(-)

diff --git a/isa/x-symbol-isabelle.el b/isa/x-symbol-isabelle.el
index d76cd190..9949c5be 100644
--- a/isa/x-symbol-isabelle.el
+++ b/isa/x-symbol-isabelle.el
@@ -204,7 +204,7 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (paragraph "\\<paragraph>")
     (registered "\\<registered>")
     (ordfeminine "\\<ordfeminine>")
-    (ordmasculine "\\<ordmasculine>")
+    (masculine "\\<ordmasculine>")
     (section "\\<section>")
     (sterling "\\<pounds>")
     (yen "\\<yen>")
@@ -232,12 +232,13 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (gradient "\\<nabla>")
     (product "\\<Prod>")
     (arrowdblboth "\\<Leftrightarrow>")
-    (arrowdblup "\\<Uparrow>")
-    (arrowdbldown "\\<Downarrow>")
+    (arrowdblup "\\<Up>")
+    (arrowdbldown "\\<Down>")
     (angleleft "\\<langle>")
     (angleright "\\<rangle>")
     (summation "\\<Sum>")
     (integral "\\<integral>")
+    (circleintegral "\\<ointegral>")
     (dagger "\\<dagger>")
     (sharp "\\<sharp>")
     (star "\\<star>")
@@ -252,9 +253,9 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (flat "\\<flat>")
     (amalg "\\<amalg>")
     (Mho "\\<mho>")
-    (arrowupdown "\\<updownarrow>")
+    (arrowupdown "\\<updown>")
     (longmapsto "\\<longmapsto>")
-    (arrowdblupdown "\\<Updownarrow>")
+    (arrowdblupdown "\\<Updown>")
     (hookleftarrow "\\<hookleftarrow>")
     (hookrightarrow "\\<hookrightarrow>")
     (rightleftharpoons "\\<rightleftharpoons>")
@@ -278,7 +279,7 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (reflexsucc "\\<succeq>")
     (dashbar "\\<stileturn>")
     (biglogicalor "\\<Or>")
-    (bigunionplus "\\<biguplus>")
+    (bigunionplus "\\<Uplus>")
     (daggerdbl "\\<ddagger>")
     (bigbowtie "\\<Join>")
     (booleans "\\<bool>")
@@ -294,6 +295,10 @@ Return nil if `x-symbol-mode' or `x-symbol-subscripts' is nil.  Uses
     (definedas "\\<triangleq>")
     (cataleft "\\<lparr>")
     (cataright "\\<rparr>")
+    (bigcircledot "\\<Odot>")
+    (bigcirclemultiply "\\<Otimes>")
+    (bigcircleplus "\\<Oplus>")
+    (coproduct "\\<Coprod>")
     ))
 
 (defvar x-symbol-isabelle-user-table nil)
-- 
cgit v1.2.3