diff options
| -rw-r--r-- | isa/x-symbol-isabelle.el | 17 |
1 files 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) |