From 1cb5fe516225fcafb939e761ec1de3124cbe2b1c Mon Sep 17 00:00:00 2001
From: jackyansongli <yli340@uic.edu>
Date: Mon, 1 Jun 2026 19:44:52 +0800
Subject: [PATCH 1/2] [0616] Update differential auto-conversion task doc

---
 devel/0616.md | 58 ++++++++++++++++++++++++++++++++-------------------
 1 file changed, 37 insertions(+), 21 deletions(-)

diff --git a/devel/0616.md b/devel/0616.md
index d43a608602..ea82daef3c 100644
--- a/devel/0616.md
+++ b/devel/0616.md
@@ -1,17 +1,23 @@
 # [0616] 任务描述
 
-数学模式下直接敲击 `dx`, `dy`, `dz`, `dr` 等时自动转换为 `<mathd>x`, `<mathd>y`, `<mathd>z`, `<mathd>r`，并且支持 `d rho`, `d theta` 等常用微分格式。且转换后依然支持用户在中间手动输入空格或进行正常编辑。
+数学模式下直接敲击 `dx`, `dy`, `dz`, `dr`, `du`, `dv`, `dw` 等时自动转换为 `<mathd>x`, `<mathd>y`, `<mathd>z`, `<mathd>r`, `<mathd>u`, `<mathd>v`, `<mathd>w`，并且支持 `d rho`, `d theta`, `d upsilon`, `d phi`, `d varphi`, `d omega` 等常用微分格式。且转换后依然支持用户在中间手动输入空格或进行正常编辑。
 
 ## 1 相关文档
 - [dddd.md](dddd.md) - 任务文档模板
 
 ## 2 任务相关的代码文件
 - [TeXmacs/progs/math/math-kbd.scm](TeXmacs/progs/math/math-kbd.scm)
+- [TeXmacs/progs/convert/latex/init-latex.scm](TeXmacs/progs/convert/latex/init-latex.scm)
+- [TeXmacs/tests/tex/0616_differential_test.tex](TeXmacs/tests/tex/0616_differential_test.tex)
+- [TeXmacs/tests/0616.scm](TeXmacs/tests/0616.scm)
 
 ## 3 如何测试
 
 ### 3.1 确定性测试（单元测试）
-无
+在终端运行集成测试：
+```bash
+xmake r 0616
+```
 
 ### 3.2 非确定性测试（文档验证）
 启动 Mogan Stem，进入数学模式：
@@ -19,35 +25,45 @@
 2. 输入 `d` 再输入 `y`，验证是否自动转为 `<mathd>y`。
 3. 输入 `d` 再输入 `z`，验证是否自动转为 `<mathd>z`。
 4. 输入 `d` 再输入 `r`，验证是否自动转为 `<mathd>r`。
-5. 输入 `d` 再输入 `r` 和 `Tab` 键，验证是否自动转为 `<mathd><rho>`。
-6. 输入 `d` 再输入 `j` 和 `Tab` 键，验证是否自动转为 `<mathd><theta>`。
+5. 输入 `d` 再输入 `u`，验证是否自动转为 `<mathd>u`。
+6. 输入 `d` 再输入 `v`，验证是否自动转为 `<mathd>v`。
+7. 输入 `d` 再输入 `w`，验证是否自动转为 `<mathd>w`。
+8. 输入 `d` 再输入 `r` 和 `Tab` 键，验证是否自动转为 `<mathd><rho>`。
+9. 输入 `d` 再输入 `j` 和 `Tab` 键，验证是否自动转为 `<mathd><theta>`。
+10. 输入 `d` 再输入 `u` 和 `Tab` 键，验证是否自动转为 `<mathd><upsilon>`。
+11. 输入 `d` 再输入 `v` 和 `Tab` 键，验证是否自动转为 `<mathd><phi>`，再次敲击 `Tab` 键转为 `<mathd><varphi>`。
+12. 输入 `d` 再输入 `w` 和 `Tab` 键，验证是否自动转为 `<mathd><omega>`。
 
 ## 4 如何提交
 
 提交前执行以下最少步骤：
 1. 检查 `TeXmacs/progs/math/math-kbd.scm` 的 Scheme 语法和括号匹配是否正确。
+2. 执行 `gf fmt --changed-since=main` 格式化所有修改过的 Scheme 文件。
+3. 运行集成测试 `xmake r 0616` 确保测试全部通过。
 
 ## 5 What
-1. 实现了在数学模式下连续敲击 `dx`, `dy`, `dz`, `dr` 自动转换为 `"<mathd>x"`, `"<mathd>y"`, `"<mathd>z"`, `"<mathd>r"` 的键盘映射。
-2. 实现了对希腊字母 `rho` (`r var` / `r var var`) 和 `theta` (`j var` / `j var var` / `j var var var`) 微分形式的自动转换。
+1. 实现了在数学模式下连续敲击 `dx`, `dy`, `dz`, `dr`, `du`, `dv`, `dw` 自动转换为相应的直立微分项键盘映射。
+2. 实现了对希腊字母 `rho`, `theta`, `upsilon`, `phi`, `varphi`, `omega` 微分形式的自动转换与 `Tab` 键循环。
 3. 保持了字符的独立性，转换后的 `<mathd>` 与变量是两个单独的符号，用户可以直接在中间插入空格或进行自由编辑。
-4. 实现了对外部 LaTeX 代码导入（包括粘贴）时的自动转换。对于形如 `dx`, `dy`, `dz`, `dr` 以及 `d\rho`, `d\theta` 且中间没有空格的序列，也会在导入时被自动转换为正确的微分形式。
+4. 实现了对外部 LaTeX 代码导入（包括粘贴）时的自动转换。对于形如 `dx`, `dy`, `dz`, `dr`, `du`, `dv`, `dw` 以及希腊字母如 `d\rho`, `d\theta`, `d\upsilon`, `d\phi`, `d\varphi`, `d\omega` 且中间没有空格的序列，也会在导入时被自动转换为正确的微分形式。
 
 ## 6 Why
-此前数学模式下敲击 `dx` 会被理解为多字母算子（类似 LaTeX 的 `\mathrm{dx}`），不便输入和修改。外部 LaTeX 导入时这些也会被解析为普通字符，导致排版不正确。本次改动为常用微分项提供了智能快捷纠正与完美的外部代码导入转换，提供了绝佳的用户体验。
+此前数学模式下敲击 `du`, `dv`, `dw` 等会被理解为多字母算子（类似 LaTeX 的 `\mathrm{du}`），不便输入和修改。外部 LaTeX 导入时这些也会被解析为普通字符，导致排版不正确。本次改动延续了之前常用微分项的智能快捷纠正与完美的外部代码导入转换逻辑，扩展到了 `u`, `v`, `w` 参数及常见其对应的希腊字母形式，提供了绝佳的用户体验。
 
 ## 7 How
 1. 在 `TeXmacs/progs/math/math-kbd.scm` 的 `(:mode in-math-not-hybrid?)` 快捷键块中增加以下按键序列映射：
-   - `("d x" "<mathd>x")`
-   - `("d y" "<mathd>y")`
-   - `("d z" "<mathd>z")`
-   - `("d r" "<mathd>r")`
-   - `("d r var" "<mathd><rho>")`
-   - `("d r var var" "<mathd><varrho>")`
-   - `("d j var" "<mathd><theta>")`
-   - `("d j var var" "<mathd><jmath>")`
-   - `("d j var var var" "<mathd><vartheta>")`
-
-2. 在 `TeXmacs/progs/convert/latex/init-latex.scm` 中封装 `latex->texmacs` 和 `latex-document->texmacs` 转换函数。在导入解析完成后，通过 Scheme 递归遍历生成的文档树：
-   - 将满足边界条件的单个字符串中的 `"dx"`, `"dy"`, `"dz"`, `"dr"` 子串拆分并转换为 `"<mathd>"` 与变量。
-   - 在 `concat` 节点内查找结尾为 `"d"` 且前一字符非字母的字符串，其下一节点如果为希腊字母 `"<rho>"`, `"<theta>"` 等，则自动转换为直立微分符 `"<mathd>"` 形式。
+   - `("d u" "<mathd>u")`
+   - `("d u var" "<mathd><upsilon>")`
+   - `("d u var var" "du")`
+   - `("d v" "<mathd>v")`
+   - `("d v var" "<mathd><phi>")`
+   - `("d v var var" "<mathd><varphi>")`
+   - `("d v var var var" "dv")`
+   - `("d w" "<mathd>w")`
+   - `("d w var" "<mathd><omega>")`
+   - `("d w var var" "<mathd><mho>")`
+   - `("d w var var var" "dw")`
+
+2. 在 `TeXmacs/progs/convert/latex/init-latex.scm` 中对 `latex->texmacs` 和 `latex-document->texmacs` 的后处理流程进行扩展：
+   - 扩展 `match-differential` 函数：增加 `"u"`, `"v"`, `"w"` 字母前缀匹配，并支持匹配 `<upsilon>`, `<phi>`, `<varphi>`, `<omega>` 等希腊符号，以支持 `du`, `dv`, `dw` 等微分格式。
+   - 扩展 `transform-concat-children` 函数中的希腊字母匹配：加入 `<upsilon>`, `<phi>`, `<varphi>`, `<omega>`，当解析到的 `concat` 子节点结尾为 `"d"` 且下一节点为上述希腊字母时，自动将其切分为带空格的直立微分形式。

From 0b38f374331f5b1820e8b753a9f22c4253821e3f Mon Sep 17 00:00:00 2001
From: jackyansongli <yli340@uic.edu>
Date: Mon, 1 Jun 2026 19:44:58 +0800
Subject: [PATCH 2/2] [0616] Support du, dv, dw auto-conversion in math mode
 and LaTeX import

---
 TeXmacs/progs/convert/latex/init-latex.scm   |   11 +
 TeXmacs/progs/math/math-kbd.scm              | 3372 +++++++++---------
 TeXmacs/tests/0616.scm                       |   98 +-
 TeXmacs/tests/tex/0616_differential_test.tex |    8 +
 4 files changed, 1782 insertions(+), 1707 deletions(-)

diff --git a/TeXmacs/progs/convert/latex/init-latex.scm b/TeXmacs/progs/convert/latex/init-latex.scm
index f6fe21d282..fd709f419c 100644
--- a/TeXmacs/progs/convert/latex/init-latex.scm
+++ b/TeXmacs/progs/convert/latex/init-latex.scm
@@ -153,6 +153,9 @@
                (string-starts? rest "y")
                (string-starts? rest "z")
                (string-starts? rest "r")
+               (string-starts? rest "u")
+               (string-starts? rest "v")
+               (string-starts? rest "w")
              ) ;or
              (cons 1 (substring rest 0 1))
             ) ;
@@ -160,6 +163,10 @@
             ((string-starts? rest "<varrho>") (cons 8 "<varrho>"))
             ((string-starts? rest "<theta>") (cons 7 "<theta>"))
             ((string-starts? rest "<vartheta>") (cons 10 "<vartheta>"))
+            ((string-starts? rest "<upsilon>") (cons 9 "<upsilon>"))
+            ((string-starts? rest "<phi>") (cons 5 "<phi>"))
+            ((string-starts? rest "<varphi>") (cons 8 "<varphi>"))
+            ((string-starts? rest "<omega>") (cons 7 "<omega>"))
             (else #f)
       ) ;cond
     ) ;let
@@ -208,6 +215,10 @@
                    (string=? c2 "<varrho>")
                    (string=? c2 "<theta>")
                    (string=? c2 "<vartheta>")
+                   (string=? c2 "<upsilon>")
+                   (string=? c2 "<phi>")
+                   (string=? c2 "<varphi>")
+                   (string=? c2 "<omega>")
                  ) ;or
                  (let ((len (string-length c1)))
                    (and (> len 0)
diff --git a/TeXmacs/progs/math/math-kbd.scm b/TeXmacs/progs/math/math-kbd.scm
index c525e622c2..c9e91dd080 100644
--- a/TeXmacs/progs/math/math-kbd.scm
+++ b/TeXmacs/progs/math/math-kbd.scm
@@ -13,10 +13,12 @@
 
 (texmacs-module (math math-kbd)
   (:use (generic generic-kbd)
-        (utils edit auto-close)
-        (generic format-edit)
-        (math math-edit)
-        (table table-edit)))
+    (utils edit auto-close)
+    (generic format-edit)
+    (math math-edit)
+    (table table-edit)
+  ) ;:use
+) ;texmacs-module
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Bypassing the pre-edit mechanism
@@ -24,7 +26,8 @@
 
 (tm-define (disable-pre-edit? key)
   (:mode in-math?)
-  (in? key (list "^" "~" "`" "'" "\"")))
+  (in? key (list "^" "~" "`" "'" "\""))
+) ;tm-define
 
 (tm-define (downgrade-pre-edit key)
   (:mode in-math?)
@@ -60,28 +63,29 @@
         ((in? key (list "Ẁ" "Ŵ")) "W")
         ((in? key (list "Ỳ" "Ý" "Ŷ" "Ỹ" "Ÿ")) "Y")
         ((in? key (list "Ẑ")) "Z")
-    ((== (string-length key) 1) key)
-        (else "")))
+        ((== (string-length key) 1) key)
+        (else "")
+  ) ;cond
+) ;tm-define
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Main keyboard shortcuts
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(kbd-map
-  (:mode in-math?)
+(kbd-map (:mode in-math?)
   ;; must come first in order not to screw the menus up
   ("accent:deadhat" (make-script #t #t))
   ("accent:deadhat var" "^")
   ("math:left accent:deadhat" (make-script #t #f))
-  ("math accent:tilde" (make-wide "~"))          ; yields M-M-~
-  ("math accent:deadhat" (make-wide "^"))        ; yields M-M-^
-  ("math accent:acute" (make-wide "<acute>"))    ; yields M-M-'
-  ("math accent:grave" (make-wide "<grave>"))    ; yields M-M-`
-  ("accent:abovedot" (make-wide "<dot>"))        ; yields M-.
-  ("accent:umlaut" (make-wide "<ddot>"))         ; yields M-\"
-  ("accent:breve" (make-wide "<breve>"))         ; yields M-U
-  ("accent:invbreve" (make-wide "<invbreve>"))   ; yields M-A
-  ("accent:check" (make-wide "<check>"))         ; yields M-V
+  ("math accent:tilde" (make-wide "~"))
+  ("math accent:deadhat" (make-wide "^"))
+  ("math accent:acute" (make-wide "<acute>"))
+  ("math accent:grave" (make-wide "<grave>"))
+  ("accent:abovedot" (make-wide "<dot>"))
+  ("accent:umlaut" (make-wide "<ddot>"))
+  ("accent:breve" (make-wide "<breve>"))
+  ("accent:invbreve" (make-wide "<invbreve>"))
+  ("accent:check" (make-wide "<check>"))
   ("math:under accent:tilde" (make-wide-under "~"))
   ("math:under accent:deadhat" (make-wide-under "^"))
   ("math:under accent:acute" (make-wide-under "<acute>"))
@@ -91,8 +95,6 @@
   ("math:under accent:breve" (make-wide-under "<breve>"))
   ("math:under accent:invbreve" (make-wide-under "<invbreve>"))
   ("math:under accent:check" (make-wide-under "<check>"))
-  ;; end
-
   ("S-F5 S-F5" (make 'math-sl))
   ("S-F6 S-F6" (make 'math-up))
   ("F5 F5" (make 'math-it))
@@ -105,7 +107,6 @@
   ("altcmd F6" (make 'math-bf))
   ("altcmd F7" (make 'math-tt))
   ("altcmd F8" (make 'math-ss))
-
   ("$" (math-make-math))
   ("math $" (make 'text))
   ("`" (make-lprime "`"))
@@ -409,11 +410,9 @@
   ("math:small (" (math-bracket-open "(" ")" #f))
   ("math:small ( var" (math-bracket-open "<nobracket>" "<nobracket>" #f))
   ("math:small )" (math-bracket-close ")" "(" #f))
-  ; ("math:small [" (math-bracket-open "[" "]" #f))
   ("math:small [ var" (math-bracket-open "[" "[" #f))
   ("math:small [ var var" (math-bracket-open "]" "]" #f))
   ("math:small [ var var var" (math-bracket-open "]" "[" #f))
-  ; ("math:small ]" (math-bracket-close "]" "[" #f))
   ("math:small [ [" (twice (math-bracket-open "[" "]" #f)))
   ("math:small ] ]" (twice (math-bracket-close "]" "[" #f)))
   ("math:small [ [ var" (math-bracket-open "<llbracket>" "<rrbracket>" #f))
@@ -543,20 +542,31 @@
   ("| =" (math-bracket-open "|" "|" 'default) (insert "="))
   ("| | -" (math-bracket-open "<||>" "<||>" 'default) (insert "-"))
   ("| | =" (math-bracket-open "<||>" "<||>" 'default) (insert "="))
-  ("| | | -" (math-bracket-open "<interleave>" "<interleave>" 'default)
-             (insert "-"))
-  ("| | | =" (math-bracket-open "<interleave>" "<interleave>" 'default)
-             (insert "="))
+  ("| | | -"
+    (math-bracket-open "<interleave>" "<interleave>" 'default)
+    (insert "-")
+  ) ;
+  ("| | | ="
+    (math-bracket-open "<interleave>" "<interleave>" 'default)
+    (insert "=")
+  ) ;
   ("- |" (insert "-") (math-bracket-open "|" "|" 'default))
   ("= |" (insert "=") (math-bracket-open "|" "|" 'default))
   ("- | |" (insert "-") (math-bracket-open "<||>" "<||>" 'default))
   ("= | |" (insert "=") (math-bracket-open "<||>" "<||>" 'default))
-  ("- | | |" (insert "-")
-             (math-bracket-open "<interleave>" "<interleave>" 'default))
-  ("= | | |" (insert "=")
-             (math-bracket-open "<interleave>" "<interleave>" 'default))
-  ("| - |" (math-bracket-open "|" "|" 'default) (insert "-")
-           (math-bracket-open "|" "|" 'default))
+  ("- | | |"
+    (insert "-")
+    (math-bracket-open "<interleave>" "<interleave>" 'default)
+  ) ;
+  ("= | | |"
+    (insert "=")
+    (math-bracket-open "<interleave>" "<interleave>" 'default)
+  ) ;
+  ("| - |"
+    (math-bracket-open "|" "|" 'default)
+    (insert "-")
+    (math-bracket-open "|" "|" 'default)
+  ) ;
 
   ("<" "<less>")
   (">" "<gtr>")
@@ -836,7 +846,7 @@
   ("> var var var var var" "<geangle>")
   ("< var var var var var =" "<leqangle>")
   ("> var var var var var =" "<geqangle>")
-  
+
   ("< var var var var var var" (math-bracket-open "<langle>" "<rangle>" 'default))
   ("> var var var var var var" (math-bracket-open "<rangle>" "<langle>" 'default))
   ("< < var var var" (math-bracket-open "<llangle>" "<rrangle>" 'default))
@@ -844,7 +854,7 @@
 
   ("- < var" "<lebar>")
   ("> - var" "<gebar>")
-  
+
   ("- >" "<rightarrow>")
   ("- > var" "<downarrow>")
   ("- > var var" "<uparrow>")
@@ -906,7 +916,7 @@
   ("< = = var var var" "<Llongleftarrow>")
   ("< = = var var var >" "<LRleftrightarrow>")
   ("< = = > var var" "<Llongleftrightarrow>")
-  
+
   ("- var" (make 'textendash))
   ("- / var" "<rightharpoondown>")
   ("- / var var" "<rightharpoonup>")
@@ -1319,1612 +1329,1623 @@
   ("~ /" "<nsim>")
   ("~ ~ /" "<napprox>")
   ("~ - /" "<nsimeq>")
-  ("~ = /" "<ncong>"))
-
-(kbd-map
-  (:mode in-math-or-hybrid?)
-  ("/ \\" "<wedge>")
-  ("/ \\ var " "<cap>")
-  ("/ \\ var var" "<sqcap>")
-  ("/ \\ var var var" "<product>")
-  ("/ \\ var var var var" "<curlywedge>")
-  ("/ \\ var var var var var" "<curlywedgeuparrow>")
-  ("/ \\ var var var var var var" "<curlywedgedownarrow>")
-  ("/ \\ var var var var var var var" (begin (insert "/") (make-hybrid)))
-  ("- / \\" "<barwedge>")
-  ("\\ /" "<vee>")
-  ("\\ / var" "<cup>")
-  ("\\ / var +" "<uplus>")
-  ("\\ / var var" "<sqcup>")
-  ("\\ / var var var" "<amalg>")
-  ("\\ / var var var var" "<curlyvee>")
-  ("\\ / var var var var var" "<curlyveedownarrow>")
-  ("\\ / var var var var var var" "<curlyveeuparrow>")
-  ("\\ / var var var var var var var" (begin (make-hybrid) (insert "/")))
-  ("\\ / -" "<veebar>"))
-
-(kbd-map
-  (:mode in-math?)
-  ("# var" "<sharp>")
-  ("# var var" "<natural>")
-  ("# var var var" "<flat>")
-  ("&" "<wedge>")
-  ("& . ." "<wedge><cdots><wedge>")
-  ("& var" "<cap>")
-  ("& var . ." "<cap><cdots><cap>")
-  ("& var var" "<sqcap>")
-  ("& var var . ." "<sqcap><cdots><sqcap>")
-  ("& var var var" "<product>")
-  ("& var var var . ." "<product><cdots><product>")
-  ("& var var var var" "<curlywedge>")
-  ("& var var var var var . ." "<curlywedge><cdots><curlywedge>")
-  ("& var var var var var" "<curlywedgeuparrow>")
-  ("& var var var var var var" "<curlywedgedownarrow>")
-  ("& var var var var var var var" "&")
-  ("- &" "<barwedge>")
-  ("- & . ." "<barwedge><cdots><barwedge>")
-  ("%" "<vee>")
-  ("% . ." "<vee><cdots><vee>")
-  ("% var" "<cup>")
-  ("% var . ." "<cup><cdots><cup>")
-  ("% var +" "<uplus>")
-  ("% var + . ." "<uplus><cdots><uplus>")
-  ("% var + +" "<uplus><cdots><uplus>")
-  ("% var var" "<sqcup>")
-  ("% var var . ." "<sqcup><cdots><sqcup>")
-  ("% var var var" "<amalg>")
-  ("% var var var . ." "<amalg><cdots><amalg>")
-  ("% var var var var" "<curlyvee>")
-  ("% var var var var . ." "<curlyvee><cdots><curlyvee>")
-  ("% var var var var var" "<curlyveedownarrow>")
-  ("% var var var var var var" "<curlyveeuparrow>")
-  ("% var var var var var var var" "<permil>")
-  ("% var var var var var var var var" "%")
-  ("% -" "<veebar>")
-  ("% - . ." "<veebar><cdots><veebar>")
-
-  ("/ /" "<varparallel>")
-  ("/ / var" "<parallel>")
-  ("/ / var var" "//")
-  ("| /" "<nmid>")
-  ("| / var" "<ndivides>")
-  ("| var" "|")
-  ("| var / var" "<ndivides>")
-  ("| var var" (math-separator "|" 'default))
-  ("| var var var" "<shortmid>")
-  ("| var var var /" "<nshortmid>")
-  ("| var var var var" "<barsuchthat>")
-  ("| var var var var var" "<divides>")
-  ("| var var var var var /" "<ndivides>")
-  ("| | var" "<||>")
-  ("| | var /" "<nparallel>")
-  ("| | var var" (math-separator "<||>" 'default))
-  ("| | var var /" "<nparallel>")
-  ("| | var var var" "<shortparallel>")
-  ("| | var var var /" "<nshortparallel>")
-  ("| | var var var var" "<varparallel>")
-  ("| | var var var var /" "<nvarparallel>")
-  ("| | | var" "<interleave>")
-
-  ("| - var" "<vdash>")
-  ("| - var -" "<longvdash>")
-  ("| - -" "<longvdash>")
-  ("| var -" "<vdash>")
-  ("| var - -" "<longvdash>")
-  ("| | - var" "<Vdash>")
-  ("| | - var -" "<longVdash>")
-  ("| | - -" "<longVdash>")
-  ("| | var -" "<Vdash>")
-  ("| | var - -" "<longVdash>")
-  ("| | | - var" "<Vvdash>")
-  ("| | | - var -" "<longVvdash>")
-  ("| | | - -" "<longVvdash>")
-  ("| | | var -" "<Vvdash>")
-  ("| | | var - -" "<longVvdash>")
-  ("- | var" "<dashv>")
-  ("- | var |" "<dashV>")
-  ("- | var | |" "<dashVv>")
-  ("- | | var" "<dashV>")
-  ("- | | | var" "<dashVv>")
-  ("- - |" "<longdashv>")
-  ("- - | |" "<longdashV>")
-  ("- - | | |" "<longdashVv>")
-  ("| = var" "<vDash>")
-  ("| = var =" "<longvDash>")
-  ("| = =" "<longvDash>")
-  ("| var =" "<vDash>")
-  ("| var = =" "<longvDash>")
-  ("| | = var" "<VDash>")
-  ("| | = var =" "<longVDash>")
-  ("| | = =" "<longVDash>")
-  ("| | var =" "<VDash>")
-  ("| | var = =" "<longVDash>")
-  ("| | | = var" "<VvDash>")
-  ("| | | = var =" "<longVvDash>")
-  ("| | | = =" "<longVvDash>")
-  ("| | | var =" "<VvDash>")
-  ("| | | var = =" "<longVvDash>")
-  ("= | var" "<Dashv>")
-  ("= | var |" "<DashV>")
-  ("= | var | |" "<DashVv>")
-  ("= | | var" "<DashV>")
-  ("= | | | var" "<DashVv>")
-  ("= = |" "<longDashv>")
-  ("= = | |" "<longDashV>")
-  ("= = | | |" "<longDashVv>")
-
-  ("| - var /" "<nvdash>")
-  ("| - /" "<nvdash>")
-  ("| var - /" "<nvdash>")
-  ("| | - var /" "<nVdash>")
-  ("| | - /" "<nVdash>")
-  ("| | var - /" "<nVdash>")
-  ("| | | - var /" "<nVvdash>")
-  ("| | | - /" "<nVvdash>")
-  ("| | | var - /" "<nVvdash>")
-  ("- | var /" "<ndashv>")
-  ("- | /" "<ndashv>")
-  ("- | var | /" "<ndashV>")
-  ("- | | var /" "<ndashV>")
-  ("- | | /" "<ndashV>")
-  ("- | | | var /" "<ndashVv>")
-  ("- | | | /" "<ndashVv>")
-  ("| = var /" "<nvDash>")
-  ("| = /" "<nvDash>")
-  ("| var = /" "<nvDash>")
-  ("| | = var /" "<nVDash>")
-  ("| | = /" "<nVDash>")
-  ("| | var = /" "<nVDash>")
-  ("| | | = var /" "<nVvDash>")
-  ("| | | = /" "<nVvDash>")
-  ("| | | var = /" "<nVvDash>")
-  ("= | var /" "<nDashv>")
-  ("= | /" "<nDashv>")
-  ("= | var | /" "<nDashV>")
-  ("= | | var /" "<nDashV>")
-  ("= | | /" "<nDashV>")
-  ("= | | | var /" "<nDashVv>")
-  ("= | | | /" "<nDashVv>")
-
-  ("< | var" "<vartriangleleft>")
-  ("< | var /" "<ntriangleleft>")
-  ("< | var =" "<trianglelefteqslant>")
-  ("< | var = /" "<ntrianglelefteqslant>")
-  ("< | var = var" "<trianglelefteq>")
-  ("< | var = var /" "<ntrianglelefteq>")
-  ("< | var var" "<blacktriangleleft>")
-  ("< | var var /" "<nblacktriangleleft>")
-  ("< | var var =" "<blacktrianglelefteqslant>")
-  ("< | var var = /" "<nblacktrianglelefteqslant>")
-  ("< | var var = var" "<blacktrianglelefteq>")
-  ("< | var var = var /" "<nblacktrianglelefteq>")
-  ("| > var" "<vartriangleright>")
-  ("| > var /" "<ntriangleright>")
-  ("| > var =" "<trianglerighteqslant>")
-  ("| > var = /" "<ntrianglerighteqslant>")
-  ("| > var = var" "<trianglerighteq>")
-  ("| > var = var /" "<ntrianglerighteq>")
-  ("| > var var" "<blacktriangleright>")
-  ("| > var var /" "<nblacktriangleright>")
-  ("| > var var =" "<blacktrianglerighteqslant>")
-  ("| > var var = /" "<nblacktrianglerighteqslant>")
-  ("| > var var = var" "<blacktrianglerighteq>")
-  ("| > var var = var /" "<nblacktrianglerighteq>")
-  ("| var >" "<vartriangleright>")
-  ("| var > /" "<ntriangleright>")
-  ("| var > =" "<trianglerighteqslant>")
-  ("| var > = /" "<ntrianglerighteqslant>")
-  ("| var > = var" "<trianglerighteq>")
-  ("| var > = var /" "<ntrianglerighteq>")
-  ("| var > var" "<blacktriangleright>")
-  ("| var > var /" "<nblacktriangleright>")
-  ("| var > var =" "<blacktrianglerighteqslant>")
-  ("| var > var = /" "<nblacktrianglerighteqslant>")
-  ("| var > var = var" "<blacktrianglerighteq>")
-  ("| var > var = var /" "<nblacktrianglerighteq>")
-
-  ("+ var" "<kreuz>")
-  ("+ var var" "<dag>")
-  ("+ var var var" "<ddag>")
-  ("+ var var var var" "<noplus>")
-  ("+ . ." "+<cdots>+")
-  ("+ +" "+<cdots>+")
-  ("+ -" "<pm>")
-  ("- +" "<mp>")
-  ("+ - . ." "<pm><cdots><pm>")
-  ("- + . ." "<mp><cdots><mp>")
-  ("+ + var" "<pplus>")
-  ("@ =" "<circeq>")
-  ("@ = var" "<triangleq>")
-  ("= @" "<eqcirc>")
-  ("- . ." "-<cdots>-")
-  ("- @" "<multimap>")
-  ("- - @" "<longmultimap>")
-  (". =" "<doteq>")
-  (". +" "<dotplus>")
-  (". -" "<dotminus>")
-  (". *" "<dottimes>")
-  (". * var" "<dotast>")
-  (". ." "<ldots>")
-  (". . var" "<cdots>")
-  (". . var !" "<cdotslim>")
-  (". . var var" "<hdots>")
-  (". . var var var" "<vdots>")
-  (". . var var var var" "<ddots>")
-  (". . var var var var var" "<udots>")
-  (":" ":")
-  (": var" "<of>")
-  (": var var" "<over>")
-  (": var var . ." "<over><ldots><over>")
-  (": var var var" "<suchthat>")
-  (": :" "<colons>")
-  (": >" "<transtype>")
-  (": =" "<assign>")
-  ("+ =" "<plusassign>")
-  ("- =" "<minusassign>")
-  ("/ var" "<over>")
-  ("/ var var" "<div>")
-  ("*" "<times>")
-  ("* . ." "*<cdots>*")
-  ("* *" "*<cdots>*")
-  ("* var" "*")
-  ("* var . ." "<times><cdots><times>")
-  ("* var var" "<ast>")
-  ("* var var . ." "<ast><cdots><ast>")
-  ("* var var var" "<cdot>")
-  ("* var var var . ." "<cdot><cdots><cdot>")
-  ("* var var var var" "<exterior>")
-  ("* var var var var . ." "<exterior><cdots><exterior>")
-  ("* var var var var var" "<star>")
-  ("* &" "<exterior>")
-  ("| var *" "<ltimes>")
-  ("| var * var" "<ttimes>")
-  ("| var * var var" "<btimes>")
-  ("| var * |" "<join>")
-  ("* var |" "<rtimes>")
-  ("* var | var" "<btimes>")
-  ("* var | var var" "<ttimes>")
-  ("! var" "<neg>")
-  
-  ("math:misc &" "&")
-  ("math:misc %" "%")
-  ("math:misc % var" "<permil>")
-  ("math:misc \\" "\\")
-  ("math:misc \\ var" "<setminus>")
-  ("math:misc \\ var var" "<smallsetminus>")
-  ("math:misc |" "|")
-  ("math:misc | var" "<shortmid>")
-  ("math:misc | var /" "<nshortmid>")
-  ("math:misc | var var" "<divides>")
-  ("math:misc | var var /" "<ndivides>")
-  ("math:misc | |" "<||>")
-  ("math:misc | | /" "<nparallel>")
-  ("math:misc | | var" "<shortparallel>")
-  ("math:misc | | var /" "<nshortparallel>")
-  ("math:misc | | var var" "<varparallel>")
-  ("math:misc | | var var /" "<nvarparallel>")
-
-  ("math:greek a" "<alpha>")
-  ("math:greek b" "<beta>")
-  ("math:greek g" "<gamma>")
-  ("math:greek g var" "<matheuler>")
-  ("math:greek d" "<delta>")
-  ("math:greek e" "<varepsilon>")
-  ("math:greek e var" "<epsilon>")
-  ("math:greek e var var" "<backepsilon>")
-  ("math:greek z" "<zeta>")
-  ("math:greek h" "<eta>")
-  ("math:greek j" "<theta>")
-  ("math:greek j var" "<vartheta>")
-  ("math:greek i" "<iota>")
-  ("math:greek k" "<kappa>")
-  ("math:greek k var" "<varkappa>")
-  ("math:greek l" "<lambda>")
-  ("math:greek l var" "<mathlambda>")
-  ("math:greek m" "<mu>")
-  ("math:greek n" "<nu>")
-  ("math:greek x" "<xi>")
-  ("math:greek o" "<omicron>")
-  ("math:greek p" "<pi>")
-  ("math:greek p var" "<mathpi>")
-  ("math:greek p var var" "<varpi>")
-  ("math:greek r" "<rho>")
-  ("math:greek r var" "<varrho>")
-  ("math:greek s" "<sigma>")
-  ("math:greek s var" "<varsigma>")
-  ("math:greek c" "<varsigma>")
-  ("math:greek c var" "<sigma>")
-  ("math:greek t" "<tau>")
-  ("math:greek u" "<upsilon>")
-  ("math:greek y" "<psi>")
-  ("math:greek q" "<chi>")
-  ("math:greek w" "<omega>")
-  ("math:greek w var" "<mho>")
-  ("math:greek v" "<phi>")
-  ("math:greek v var" "<varphi>")
-  ("math:greek f" "<varphi>")
-  ("math:greek f var" "<phi>")
-  ("math:greek A" "<Alpha>")
-  ("math:greek B" "<Beta>")
-  ("math:greek G" "<Gamma>")
-  ("math:greek G var" "<mathGamma>")
-  ("math:greek D" "<Delta>")
-  ("math:greek D var" "<mathLaplace>")
-  ("math:greek E" "<Epsilon>")
-  ("math:greek E var" "<Backepsilon>")
-  ("math:greek Z" "<Zeta>")
-  ("math:greek H" "<Eta>")
-  ("math:greek J" "<Theta>")
-  ("math:greek I" "<Iota>")
-  ("math:greek K" "<Kappa>")
-  ("math:greek L" "<Lambda>")
-  ("math:greek M" "<Mu>")
-  ("math:greek N" "<Nu>")
-  ("math:greek X" "<Xi>")
-  ("math:greek O" "<Omicron>")
-  ("math:greek P" "<Pi>")
-  ("math:greek R" "<Rho>")
-  ("math:greek S" "<Sigma>")
-  ("math:greek S var" "<Backsigma>")
-  ("math:greek C" "<Sigma>")
-  ("math:greek T" "<Tau>")
-  ("math:greek U" "<Upsilon>")
-  ("math:greek Y" "<Psi>")
-  ("math:greek Q" "<Chi>")
-  ("math:greek W" "<Omega>")
-  ("math:greek W var" "<Mho>")
-  ("math:greek V" "<Phi>")
-  ("math:greek F" "<Phi>"))
-
-(kbd-map
-  (:mode in-math-not-hybrid?)
-  ("a var" "<alpha>")
-  ("b var" "<beta>")
-  ("b var var" "<flat>")
-  ("c var" "<varsigma>")
-  ("c var var" "<sigma>")
-  ("c - var" "<#A793>")
-  ("d var" "<delta>")
-  ("d var var" "<mathd>")
-  ("d var var var" "<partial>")
-  ("d - var " "<#111>")
-  ("e var" "<varepsilon>")
-  ("e var var" "<mathe>")
-  ("e var var var" "<epsilon>")
-  ("e var var var var" "<backepsilon>")
-  ("g var" "<gamma>")
-  ("g var var" "<matheuler>")
-  ("h var" "<eta>")
-  ("h var var" "<hbar>")
-  ("i var" "<iota>")
-  ("i var var" "<mathi>")
-  ("i var var var" "<imath>")
-  ("j var" "<theta>")
-  ("j var var" "<jmath>")
-  ("j var var var" "<vartheta>")
-  ("k var" "<kappa>")
-  ("k var var" "<varkappa>")
-  ("k - var" "<#A741>")
-  ("l var" "<lambda>")
-  ("l var var" "<mathlambda>")
-  ("l var var var" "<ell>")
-  ("l - var" "<#A749>")
-  ("m var" "<mu>")
-  ("n var" "<nu>")
-  ("n var var" "<nabla>")
-  ("o var" "<omicron>")
-  ("o - var" "<#A74B>")
-  ("p var" "<pi>")
-  ("p var var" "<mathpi>")
-  ("p var var var" "<varpi>")
-  ("p - var" "<#A751>")
-  ("q var" "<chi>")
-  ("r var" "<rho>")
-  ("r var var" "<varrho>")
-  ("s var" "<sigma>")
-  ("s var var" "<varsigma>")
-  ("s - var" "<#A7A9>")
-  ("t var" "<tau>")
-  ("u var" "<upsilon>")
-  ("v var" "<phi>")
-  ("v var var" "<varphi>")
-  ("f var" "<varphi>")
-  ("f var var" "<phi>")
-  ("f - var" "<#A799>")
-  ("w var" "<omega>")
-  ("w var var" "<mho>")
-  ("x var" "<xi>")
-  ("y var" "<psi>")
-  ("z var" "<zeta>")
-
-  ("A var" "<Alpha>")
-  ("A var var" "<forall>")
-  ("A var var var" "<aleph>")
-  ("B var" "<Beta>")
-  ("B var var" "<bot>")
-  ("B var var var" "<beth>")
-  ("C var" "<Sigma>")
-  ("C var var" "<mathcatalan>")
-  ("C var var var" "<complement>")
-  ("C - var" "<#A792>")
-  ("D var" "<Delta>")
-  ("D var var" "<mathD>")
-  ("D var var var" "<daleth>")
-  ("D var var var var" "<nabla>")
-  ("D - var" "<#110>")
-  ("E var" "<Epsilon>")
-  ("E var var" "<exists>")
-  ("E var var var" "<Exists>")
-  ("E var var var var" "<Backepsilon>")
-  ("G var" "<Gamma>")
-  ("G var var" "<gimel>")
-  ("G var var var" "<mathGamma>")
-  ("G var var var var" "<digamma>")
-  ("H var" "<Eta>")
-  ("I var" (math-big-operator "int"))
-  ("I I var" (math-big-operator "iint"))
-  ("I var ."(math-big-operator "idotsint"))
-  ("I I I var" (math-big-operator "iiint"))
-  ("I I I I var" (math-big-operator "iiiint"))
-  ("I var var " "<Iota>")
-  ("I var var var" "<Im>")
-  ("J var" "<Theta>")
-  ("K var" "<Kappa>")
-  ("K - var" "<#A740>")
-  ("L var" "<Lambda>")
-  ("L - var" "<#A748>")
-  ("M var" "<Mu>")
-  ("N var" "<Nu>")
-  ("N var var" (math-big-operator "cap"))
-  ("O var" "<Omicron>")
-  ("O - var" "<#A74A>")
-  ("P var" "<Pi>")
-  ("P var var" "<wp>")
-  ("P var var var" (math-big-operator "prod"))
-  ("P - var" "<#A750>")
-  ("Q var" "<Chi>")
-  ("R var" "<Rho>")
-  ("R var var" "<Re>")
-  ("S var" "<Sigma>")
-  ("S var var" "<Backsigma>")
-  ("S var var var" (math-big-operator "sum"))
-  ("S - var" "<#A7A8>")
-  ("T var" "<Tau>")
-  ("T var var" "<top>")
-  ("T var var var" "<perp>")
-  ("T var var var var" "<leftthreetimes>")
-  ("T var var var var var" "<rightthreetimes>")
-  ("T var var var var var var" "<lefttimesthree>")
-  ("T var var var var var var var" "<righttimesthree>")
-  ("U var" "<Upsilon>")
-  ("U var var" (math-big-operator "cup"))
-  ("V var" "<Phi>")
-  ("V var var" "<nabla>")
-  ("F var" "<Phi>")
-  ("F - var" "<#A798>")
-  ("W var" "<Omega>")
-  ("W var var" "<Mho>")
-  ("X var" "<Xi>")
-  ("Y var" "<Psi>")
-  ("Y var var" "<Ydown>")
-  ("Y var var var" "<Yup>")
-  ("Y var var var var" "<Yleft>")
-  ("Y var var var var var" "<Yright>")
-  ("Z var" "<Zeta>"))
-
-(kbd-map
-  (:mode in-math?)
-  ("math:bold 0" "<b-0>")
-  ("math:bold 1" "<b-1>")
-  ("math:bold 2" "<b-2>")
-  ("math:bold 3" "<b-3>")
-  ("math:bold 4" "<b-4>")
-  ("math:bold 5" "<b-5>")
-  ("math:bold 6" "<b-6>")
-  ("math:bold 7" "<b-7>")
-  ("math:bold 8" "<b-8>")
-  ("math:bold 9" "<b-9>")
-  ("math:bold a" "<b-a>")
-  ("math:bold b" "<b-b>")
-  ("math:bold c" "<b-c>")
-  ("math:bold d" "<b-d>")
-  ("math:bold e" "<b-e>")
-  ("math:bold f" "<b-f>")
-  ("math:bold g" "<b-g>")
-  ("math:bold h" "<b-h>")
-  ("math:bold i" "<b-i>")
-  ("math:bold j" "<b-j>")
-  ("math:bold k" "<b-k>")
-  ("math:bold l" "<b-l>")
-  ("math:bold m" "<b-m>")
-  ("math:bold n" "<b-n>")
-  ("math:bold o" "<b-o>")
-  ("math:bold p" "<b-p>")
-  ("math:bold q" "<b-q>")
-  ("math:bold r" "<b-r>")
-  ("math:bold s" "<b-s>")
-  ("math:bold t" "<b-t>")
-  ("math:bold u" "<b-u>")
-  ("math:bold v" "<b-v>")
-  ("math:bold w" "<b-w>")
-  ("math:bold x" "<b-x>")
-  ("math:bold y" "<b-y>")
-  ("math:bold z" "<b-z>")
-  ("math:bold A" "<b-A>")
-  ("math:bold B" "<b-B>")
-  ("math:bold C" "<b-C>")
-  ("math:bold D" "<b-D>")
-  ("math:bold E" "<b-E>")
-  ("math:bold F" "<b-F>")
-  ("math:bold G" "<b-G>")
-  ("math:bold H" "<b-H>")
-  ("math:bold I" "<b-I>")
-  ("math:bold J" "<b-J>")
-  ("math:bold K" "<b-K>")
-  ("math:bold L" "<b-L>")
-  ("math:bold M" "<b-M>")
-  ("math:bold N" "<b-N>")
-  ("math:bold O" "<b-O>")
-  ("math:bold P" "<b-P>")
-  ("math:bold Q" "<b-Q>")
-  ("math:bold R" "<b-R>")
-  ("math:bold S" "<b-S>")
-  ("math:bold T" "<b-T>")
-  ("math:bold U" "<b-U>")
-  ("math:bold V" "<b-V>")
-  ("math:bold W" "<b-W>")
-  ("math:bold X" "<b-X>")
-  ("math:bold Y" "<b-Y>")
-  ("math:bold Z" "<b-Z>")
-  ("math:bold i var" "<b-imath>")
-  ("math:bold j var" "<b-jmath>")
-  ("math:bold l var" "<b-ell>")
-  ("math:bold ~" "<thicksim>")
-  ("math:bold ~ ~" "<thickapprox>")
-
-  ("math:bold:greek a" "<b-alpha>")
-  ("math:bold:greek b" "<b-beta>")
-  ("math:bold:greek g" "<b-gamma>")
-  ("math:bold:greek d" "<b-delta>")
-  ("math:bold:greek e" "<b-varepsilon>")
-  ("math:bold:greek e var" "<b-epsilon>")
-  ("math:bold:greek e var var" "<b-backepsilon>")
-  ("math:bold:greek z" "<b-zeta>")
-  ("math:bold:greek h" "<b-eta>")
-  ("math:bold:greek j" "<b-theta>")
-  ("math:bold:greek j var" "<b-vartheta>")
-  ("math:bold:greek i" "<b-iota>")
-  ("math:bold:greek k" "<b-kappa>")
-  ("math:bold:greek k var" "<b-varkappa>")
-  ("math:bold:greek l" "<b-lambda>")
-  ("math:bold:greek m" "<b-mu>")
-  ("math:bold:greek n" "<b-nu>")
-  ("math:bold:greek x" "<b-xi>")
-  ("math:bold:greek o" "<b-omicron>")
-  ("math:bold:greek p" "<b-pi>")
-  ("math:bold:greek p var" "<b-varpi>")
-  ("math:bold:greek r" "<b-rho>")
-  ("math:bold:greek r var" "<b-varrho>")
-  ("math:bold:greek s" "<b-sigma>")
-  ("math:bold:greek s var" "<b-varsigma>")
-  ("math:bold:greek c" "<b-varsigma>")
-  ("math:bold:greek c var" "<b-sigma>")
-  ("math:bold:greek t" "<b-tau>")
-  ("math:bold:greek u" "<b-upsilon>")
-  ("math:bold:greek y" "<b-psi>")
-  ("math:bold:greek q" "<b-chi>")
-  ("math:bold:greek w" "<b-omega>")
-  ("math:bold:greek w var" "<b-mho>")
-  ("math:bold:greek v" "<b-phi>")
-  ("math:bold:greek v var" "<b-varphi>")
-  ("math:bold:greek f" "<b-varphi>")
-  ("math:bold:greek f var" "<b-phi>")
-  ("math:bold:greek A" "<b-Alpha>")
-  ("math:bold:greek B" "<b-Beta>")
-  ("math:bold:greek G" "<b-Gamma>")
-  ("math:bold:greek D" "<b-Delta>")
-  ("math:bold:greek E" "<b-Epsilon>")
-  ("math:bold:greek E var" "<b-Backepsilon>")
-  ("math:bold:greek Z" "<b-Zeta>")
-  ("math:bold:greek H" "<b-Eta>")
-  ("math:bold:greek J" "<b-Theta>")
-  ("math:bold:greek I" "<b-Iota>")
-  ("math:bold:greek K" "<b-Kappa>")
-  ("math:bold:greek L" "<b-Lambda>")
-  ("math:bold:greek M" "<b-Mu>")
-  ("math:bold:greek N" "<b-Nu>")
-  ("math:bold:greek X" "<b-Xi>")
-  ("math:bold:greek O" "<b-Omicron>")
-  ("math:bold:greek P" "<b-Pi>")
-  ("math:bold:greek R" "<b-Rho>")
-  ("math:bold:greek S" "<b-Sigma>")
-  ("math:bold:greek S var" "<b-Backsigma>")
-  ("math:bold:greek C" "<b-Sigma>")
-  ("math:bold:greek T" "<b-Tau>")
-  ("math:bold:greek U" "<b-Upsilon>")
-  ("math:bold:greek Y" "<b-Psi>")
-  ("math:bold:greek Q" "<b-Chi>")
-  ("math:bold:greek W" "<b-Omega>")
-  ("math:bold:greek W var" "<b-Mho>")
-  ("math:bold:greek V" "<b-Phi>")
-  ("math:bold:greek F" "<b-Phi>")
-
-  ("math:bold a var" "<b-alpha>")
-  ("math:bold b var" "<b-beta>")
-  ("math:bold c var" "<b-varsigma>")
-  ("math:bold c var var" "<b-sigma>")
-  ("math:bold d var" "<b-delta>")
-  ("math:bold e var" "<b-varepsilon>")
-  ("math:bold e var var" "<b-epsilon>")
-  ("math:bold e var var var" "<b-backepsilon>")
-  ("math:bold g var" "<b-gamma>")
-  ("math:bold h var" "<b-eta>")
-  ("math:bold i var" "<b-iota>")
-  ("math:bold i var var" "<b-imath>")
-  ("math:bold j var" "<b-theta>")
-  ("math:bold j var var" "<b-jmath>")
-  ("math:bold j var var var" "<b-vartheta>")
-  ("math:bold k var" "<b-kappa>")
-  ("math:bold k var var" "<b-varkappa>")
-  ("math:bold l var" "<b-lambda>")
-  ("math:bold l var var" "<b-ell>")
-  ("math:bold m var" "<b-mu>")
-  ("math:bold n var" "<b-nu>")
-  ("math:bold o var" "<b-omicron>")
-  ("math:bold p var" "<b-pi>")
-  ("math:bold p var var" "<b-varpi>")
-  ("math:bold q var" "<b-chi>")
-  ("math:bold r var" "<b-rho>")
-  ("math:bold r var var" "<b-varrho>")
-  ("math:bold s var" "<b-sigma>")
-  ("math:bold s var var" "<b-varsigma>")
-  ("math:bold t var" "<b-tau>")
-  ("math:bold u var" "<b-upsilon>")
-  ("math:bold v var" "<b-phi>")
-  ("math:bold v var var" "<b-varphi>")
-  ("math:bold f var" "<b-varphi>")
-  ("math:bold f var var" "<b-phi>")
-  ("math:bold w var" "<b-omega>")
-  ("math:bold w var var" "<b-mho>")
-  ("math:bold x var" "<b-xi>")
-  ("math:bold y var" "<b-psi>")
-  ("math:bold z var" "<b-zeta>")
-  ("math:bold A var" "<b-Alpha>")
-  ("math:bold B var" "<b-Beta>")
-  ("math:bold C var" "<b-Sigma>")
-  ("math:bold D var" "<b-Delta>")
-  ("math:bold E var" "<b-Epsilon>")
-  ("math:bold E var var" "<b-Backepsilon>")
-  ("math:bold G var" "<b-Gamma>")
-  ("math:bold H var" "<b-Eta>")
-  ("math:bold I var" "<b-Iota>")
-  ("math:bold J var" "<b-Theta>")
-  ("math:bold K var" "<b-Kappa>")
-  ("math:bold L var" "<b-Lambda>")
-  ("math:bold M var" "<b-Mu>")
-  ("math:bold N var" "<b-Nu>")
-  ("math:bold O var" "<b-Omicron>")
-  ("math:bold P var" "<b-Pi>")
-  ("math:bold Q var" "<b-Chi>")
-  ("math:bold R var" "<b-Rho>")
-  ("math:bold S var" "<b-Sigma>")
-  ("math:bold S var var" "<b-Backsigma>")
-  ("math:bold T var" "<b-Tau>")
-  ("math:bold U var" "<b-Upsilon>")
-  ("math:bold V var" "<b-Phi>")
-  ("math:bold F var" "<b-Phi>")
-  ("math:bold W var" "<b-Omega>")
-  ("math:bold W var var" "<b-Mho>")
-  ("math:bold X var" "<b-Xi>")
-  ("math:bold Y var" "<b-Psi>")
-  ("math:bold Z var" "<b-Zeta>")
-
-  ("math:up a" "<up-a>")
-  ("math:up b" "<up-b>")
-  ("math:up c" "<up-c>")
-  ("math:up d" "<up-d>")
-  ("math:up e" "<up-e>")
-  ("math:up f" "<up-f>")
-  ("math:up g" "<up-g>")
-  ("math:up h" "<up-h>")
-  ("math:up i" "<up-i>")
-  ("math:up j" "<up-j>")
-  ("math:up k" "<up-k>")
-  ("math:up l" "<up-l>")
-  ("math:up m" "<up-m>")
-  ("math:up n" "<up-n>")
-  ("math:up o" "<up-o>")
-  ("math:up p" "<up-p>")
-  ("math:up q" "<up-q>")
-  ("math:up r" "<up-r>")
-  ("math:up s" "<up-s>")
-  ("math:up t" "<up-t>")
-  ("math:up u" "<up-u>")
-  ("math:up v" "<up-v>")
-  ("math:up w" "<up-w>")
-  ("math:up x" "<up-x>")
-  ("math:up y" "<up-y>")
-  ("math:up z" "<up-z>")
-  ("math:up A" "<up-A>")
-  ("math:up B" "<up-B>")
-  ("math:up C" "<up-C>")
-  ("math:up D" "<up-D>")
-  ("math:up E" "<up-E>")
-  ("math:up F" "<up-F>")
-  ("math:up G" "<up-G>")
-  ("math:up H" "<up-H>")
-  ("math:up I" "<up-I>")
-  ("math:up J" "<up-J>")
-  ("math:up K" "<up-K>")
-  ("math:up L" "<up-L>")
-  ("math:up M" "<up-M>")
-  ("math:up N" "<up-N>")
-  ("math:up O" "<up-O>")
-  ("math:up P" "<up-P>")
-  ("math:up Q" "<up-Q>")
-  ("math:up R" "<up-R>")
-  ("math:up S" "<up-S>")
-  ("math:up T" "<up-T>")
-  ("math:up U" "<up-U>")
-  ("math:up V" "<up-V>")
-  ("math:up W" "<up-W>")
-  ("math:up X" "<up-X>")
-  ("math:up Y" "<up-Y>")
-  ("math:up Z" "<up-Z>")
-
-  ("math:up a var" "<up-alpha>")
-  ("math:up b var" "<up-beta>")
-  ("math:up c var" "<up-varsigma>")
-  ("math:up c var var" "<up-sigma>")
-  ("math:up d var" "<up-delta>")
-  ("math:up e var" "<up-varepsilon>")
-  ("math:up e var var" "<up-epsilon>")
-  ("math:up g var" "<up-gamma>")
-  ("math:up h var" "<up-eta>")
-  ("math:up i var" "<up-iota>")
-  ("math:up i var var" "<up-imath>")
-  ("math:up j var" "<up-theta>")
-  ("math:up j var var" "<up-jmath>")
-  ("math:up j var var var" "<up-vartheta>")
-  ("math:up k var" "<up-kappa>")
-  ("math:up k var var" "<up-varkappa>")
-  ("math:up l var" "<up-lambda>")
-  ("math:up l var var" "<up-ell>")
-  ("math:up m var" "<up-mu>")
-  ("math:up n var" "<up-nu>")
-  ("math:up o var" "<up-omicron>")
-  ("math:up p var" "<up-pi>")
-  ("math:up p var var" "<up-varpi>")
-  ("math:up q var" "<up-chi>")
-  ("math:up r var" "<up-rho>")
-  ("math:up r var var" "<up-varrho>")
-  ("math:up s var" "<up-sigma>")
-  ("math:up s var var" "<up-varsigma>")
-  ("math:up t var" "<up-tau>")
-  ("math:up u var" "<up-upsilon>")
-  ("math:up v var" "<up-phi>")
-  ("math:up v var var" "<up-varphi>")
-  ("math:up f var" "<up-varphi>")
-  ("math:up f var var" "<up-phi>")
-  ("math:up w var" "<up-omega>")
-  ("math:up x var" "<up-xi>")
-  ("math:up y var" "<up-psi>")
-  ("math:up z var" "<up-zeta>")
-  ;;("math:up A var" "<up-Alpha>")
-  ;;("math:up B var" "<up-Beta>")
-  ;;("math:up C var" "<up-Sigma>")
-  ;;("math:up D var" "<up-Delta>")
-  ;;("math:up E var" "<up-Epsilon>")
-  ;;("math:up G var" "<up-Gamma>")
-  ;;("math:up H var" "<up-Eta>")
-  ;;("math:up I var" "<up-Iota>")
-  ;;("math:up J var" "<up-Theta>")
-  ;;("math:up K var" "<up-Kappa>")
-  ;;("math:up L var" "<up-Lambda>")
-  ;;("math:up M var" "<up-Mu>")
-  ;;("math:up N var" "<up-Nu>")
-  ;;("math:up O var" "<up-Omicron>")
-  ;;("math:up P var" "<up-Pi>")
-  ;;("math:up Q var" "<up-Chi>")
-  ;;("math:up R var" "<up-Rho>")
-  ;;("math:up S var" "<up-Sigma>")
-  ;;("math:up T var" "<up-Tau>")
-  ;;("math:up U var" "<up-Upsilon>")
-  ;;("math:up V var" "<up-Phi>")
-  ;;("math:up F var" "<up-Phi>")
-  ;;("math:up W var" "<up-Omega>")
-  ;;("math:up W var var" "<up-Mho>")
-  ;;("math:up X var" "<up-Xi>")
-  ;;("math:up Y var" "<up-Psi>")
-  ;;("math:up Z var" "<up-Zeta>")
-
-  ("math:bold:up a" "<b-up-a>")
-  ("math:bold:up b" "<b-up-b>")
-  ("math:bold:up c" "<b-up-c>")
-  ("math:bold:up d" "<b-up-d>")
-  ("math:bold:up e" "<b-up-e>")
-  ("math:bold:up f" "<b-up-f>")
-  ("math:bold:up g" "<b-up-g>")
-  ("math:bold:up h" "<b-up-h>")
-  ("math:bold:up i" "<b-up-i>")
-  ("math:bold:up j" "<b-up-j>")
-  ("math:bold:up k" "<b-up-k>")
-  ("math:bold:up l" "<b-up-l>")
-  ("math:bold:up m" "<b-up-m>")
-  ("math:bold:up n" "<b-up-n>")
-  ("math:bold:up o" "<b-up-o>")
-  ("math:bold:up p" "<b-up-p>")
-  ("math:bold:up q" "<b-up-q>")
-  ("math:bold:up r" "<b-up-r>")
-  ("math:bold:up s" "<b-up-s>")
-  ("math:bold:up t" "<b-up-t>")
-  ("math:bold:up u" "<b-up-u>")
-  ("math:bold:up v" "<b-up-v>")
-  ("math:bold:up w" "<b-up-w>")
-  ("math:bold:up x" "<b-up-x>")
-  ("math:bold:up y" "<b-up-y>")
-  ("math:bold:up z" "<b-up-z>")
-  ("math:bold:up A" "<b-up-A>")
-  ("math:bold:up B" "<b-up-B>")
-  ("math:bold:up C" "<b-up-C>")
-  ("math:bold:up D" "<b-up-D>")
-  ("math:bold:up E" "<b-up-E>")
-  ("math:bold:up F" "<b-up-F>")
-  ("math:bold:up G" "<b-up-G>")
-  ("math:bold:up H" "<b-up-H>")
-  ("math:bold:up I" "<b-up-I>")
-  ("math:bold:up J" "<b-up-J>")
-  ("math:bold:up K" "<b-up-K>")
-  ("math:bold:up L" "<b-up-L>")
-  ("math:bold:up M" "<b-up-M>")
-  ("math:bold:up N" "<b-up-N>")
-  ("math:bold:up O" "<b-up-O>")
-  ("math:bold:up P" "<b-up-P>")
-  ("math:bold:up Q" "<b-up-Q>")
-  ("math:bold:up R" "<b-up-R>")
-  ("math:bold:up S" "<b-up-S>")
-  ("math:bold:up T" "<b-up-T>")
-  ("math:bold:up U" "<b-up-U>")
-  ("math:bold:up V" "<b-up-V>")
-  ("math:bold:up W" "<b-up-W>")
-  ("math:bold:up X" "<b-up-X>")
-  ("math:bold:up Y" "<b-up-Y>")
-  ("math:bold:up Z" "<b-up-Z>")
-
-  ("math:bold:up a var" "<b-up-alpha>")
-  ("math:bold:up b var" "<b-up-beta>")
-  ("math:bold:up c var" "<b-up-varsigma>")
-  ("math:bold:up c var var" "<b-up-sigma>")
-  ("math:bold:up d var" "<b-up-delta>")
-  ("math:bold:up e var" "<b-up-varepsilon>")
-  ("math:bold:up e var var" "<b-up-epsilon>")
-  ("math:bold:up g var" "<b-up-gamma>")
-  ("math:bold:up h var" "<b-up-eta>")
-  ("math:bold:up i var" "<b-up-iota>")
-  ("math:bold:up i var var" "<b-up-imath>")
-  ("math:bold:up j var" "<b-up-theta>")
-  ("math:bold:up j var var" "<b-up-jmath>")
-  ("math:bold:up j var var var" "<b-up-vartheta>")
-  ("math:bold:up k var" "<b-up-kappa>")
-  ("math:bold:up k var var" "<b-up-varkappa>")
-  ("math:bold:up l var" "<b-up-lambda>")
-  ("math:bold:up l var var" "<b-up-ell>")
-  ("math:bold:up m var" "<b-up-mu>")
-  ("math:bold:up n var" "<b-up-nu>")
-  ("math:bold:up o var" "<b-up-omicron>")
-  ("math:bold:up p var" "<b-up-pi>")
-  ("math:bold:up p var var" "<b-up-varpi>")
-  ("math:bold:up q var" "<b-up-chi>")
-  ("math:bold:up r var" "<b-up-rho>")
-  ("math:bold:up r var var" "<b-up-varrho>")
-  ("math:bold:up s var" "<b-up-sigma>")
-  ("math:bold:up s var var" "<b-up-varsigma>")
-  ("math:bold:up t var" "<b-up-tau>")
-  ("math:bold:up u var" "<b-up-upsilon>")
-  ("math:bold:up v var" "<b-up-phi>")
-  ("math:bold:up v var var" "<b-up-varphi>")
-  ("math:bold:up f var" "<b-up-varphi>")
-  ("math:bold:up f var var" "<b-up-phi>")
-  ("math:bold:up w var" "<b-up-omega>")
-  ("math:bold:up x var" "<b-up-xi>")
-  ("math:bold:up y var" "<b-up-psi>")
-  ("math:bold:up z var" "<b-up-zeta>")
-  ;;("math:bold:up A var" "<b-up-Alpha>")
-  ;;("math:bold:up B var" "<b-up-Beta>")
-  ;;("math:bold:up C var" "<b-up-Sigma>")
-  ;;("math:bold:up D var" "<b-up-Delta>")
-  ;;("math:bold:up E var" "<b-up-Epsilon>")
-  ;;("math:bold:up G var" "<b-up-Gamma>")
-  ;;("math:bold:up H var" "<b-up-Eta>")
-  ;;("math:bold:up I var" "<b-up-Iota>")
-  ;;("math:bold:up J var" "<b-up-Theta>")
-  ;;("math:bold:up K var" "<b-up-Kappa>")
-  ;;("math:bold:up L var" "<b-up-Lambda>")
-  ;;("math:bold:up M var" "<b-up-Mu>")
-  ;;("math:bold:up N var" "<b-up-Nu>")
-  ;;("math:bold:up O var" "<b-up-Omicron>")
-  ;;("math:bold:up P var" "<b-up-Pi>")
-  ;;("math:bold:up Q var" "<b-up-Chi>")
-  ;;("math:bold:up R var" "<b-up-Rho>")
-  ;;("math:bold:up S var" "<b-up-Sigma>")
-  ;;("math:bold:up T var" "<b-up-Tau>")
-  ;;("math:bold:up U var" "<b-up-Upsilon>")
-  ;;("math:bold:up V var" "<b-up-Phi>")
-  ;;("math:bold:up F var" "<b-up-Phi>")
-  ;;("math:bold:up W var" "<b-up-Omega>")
-  ;;("math:bold:up W var var" "<b-up-Mho>")
-  ;;("math:bold:up X var" "<b-up-Xi>")
-  ;;("math:bold:up Y var" "<b-up-Psi>")
-  ;;("math:bold:up Z var" "<b-up-Zeta>")
-
-  ("math:cal a" "<cal-a>")
-  ("math:cal b" "<cal-b>")
-  ("math:cal c" "<cal-c>")
-  ("math:cal d" "<cal-d>")
-  ("math:cal e" "<cal-e>")
-  ("math:cal f" "<cal-f>")
-  ("math:cal g" "<cal-g>")
-  ("math:cal h" "<cal-h>")
-  ("math:cal i" "<cal-i>")
-  ("math:cal j" "<cal-j>")
-  ("math:cal k" "<cal-k>")
-  ("math:cal l" "<cal-l>")
-  ("math:cal m" "<cal-m>")
-  ("math:cal n" "<cal-n>")
-  ("math:cal o" "<cal-o>")
-  ("math:cal p" "<cal-p>")
-  ("math:cal q" "<cal-q>")
-  ("math:cal r" "<cal-r>")
-  ("math:cal s" "<cal-s>")
-  ("math:cal t" "<cal-t>")
-  ("math:cal u" "<cal-u>")
-  ("math:cal v" "<cal-v>")
-  ("math:cal w" "<cal-w>")
-  ("math:cal x" "<cal-x>")
-  ("math:cal y" "<cal-y>")
-  ("math:cal z" "<cal-z>")
-  ("math:cal A" "<cal-A>")
-  ("math:cal B" "<cal-B>")
-  ("math:cal C" "<cal-C>")
-  ("math:cal D" "<cal-D>")
-  ("math:cal E" "<cal-E>")
-  ("math:cal F" "<cal-F>")
-  ("math:cal G" "<cal-G>")
-  ("math:cal H" "<cal-H>")
-  ("math:cal I" "<cal-I>")
-  ("math:cal J" "<cal-J>")
-  ("math:cal K" "<cal-K>")
-  ("math:cal L" "<cal-L>")
-  ("math:cal M" "<cal-M>")
-  ("math:cal N" "<cal-N>")
-  ("math:cal O" "<cal-O>")
-  ("math:cal P" "<cal-P>")
-  ("math:cal Q" "<cal-Q>")
-  ("math:cal R" "<cal-R>")
-  ("math:cal S" "<cal-S>")
-  ("math:cal T" "<cal-T>")
-  ("math:cal U" "<cal-U>")
-  ("math:cal V" "<cal-V>")
-  ("math:cal W" "<cal-W>")
-  ("math:cal X" "<cal-X>")
-  ("math:cal Y" "<cal-Y>")
-  ("math:cal Z" "<cal-Z>")
-
-  ("math:calstar a" "<cal*-a>")
-  ("math:calstar b" "<cal*-b>")
-  ("math:calstar c" "<cal*-c>")
-  ("math:calstar d" "<cal*-d>")
-  ("math:calstar e" "<cal*-e>")
-  ("math:calstar f" "<cal*-f>")
-  ("math:calstar g" "<cal*-g>")
-  ("math:calstar h" "<cal*-h>")
-  ("math:calstar i" "<cal*-i>")
-  ("math:calstar j" "<cal*-j>")
-  ("math:calstar k" "<cal*-k>")
-  ("math:calstar l" "<cal*-l>")
-  ("math:calstar m" "<cal*-m>")
-  ("math:calstar n" "<cal*-n>")
-  ("math:calstar o" "<cal*-o>")
-  ("math:calstar p" "<cal*-p>")
-  ("math:calstar q" "<cal*-q>")
-  ("math:calstar r" "<cal*-r>")
-  ("math:calstar s" "<cal*-s>")
-  ("math:calstar t" "<cal*-t>")
-  ("math:calstar u" "<cal*-u>")
-  ("math:calstar v" "<cal*-v>")
-  ("math:calstar w" "<cal*-w>")
-  ("math:calstar x" "<cal*-x>")
-  ("math:calstar y" "<cal*-y>")
-  ("math:calstar z" "<cal*-z>")
-  ("math:calstar A" "<cal*-A>")
-  ("math:calstar B" "<cal*-B>")
-  ("math:calstar C" "<cal*-C>")
-  ("math:calstar D" "<cal*-D>")
-  ("math:calstar E" "<cal*-E>")
-  ("math:calstar F" "<cal*-F>")
-  ("math:calstar G" "<cal*-G>")
-  ("math:calstar H" "<cal*-H>")
-  ("math:calstar I" "<cal*-I>")
-  ("math:calstar J" "<cal*-J>")
-  ("math:calstar K" "<cal*-K>")
-  ("math:calstar L" "<cal*-L>")
-  ("math:calstar M" "<cal*-M>")
-  ("math:calstar N" "<cal*-N>")
-  ("math:calstar O" "<cal*-O>")
-  ("math:calstar P" "<cal*-P>")
-  ("math:calstar Q" "<cal*-Q>")
-  ("math:calstar R" "<cal*-R>")
-  ("math:calstar S" "<cal*-S>")
-  ("math:calstar T" "<cal*-T>")
-  ("math:calstar U" "<cal*-U>")
-  ("math:calstar V" "<cal*-V>")
-  ("math:calstar W" "<cal*-W>")
-  ("math:calstar X" "<cal*-X>")
-  ("math:calstar Y" "<cal*-Y>")
-  ("math:calstar Z" "<cal*-Z>")
-
-  ("math:bold:cal a" "<b-cal-a>")
-  ("math:bold:cal b" "<b-cal-b>")
-  ("math:bold:cal c" "<b-cal-c>")
-  ("math:bold:cal d" "<b-cal-d>")
-  ("math:bold:cal e" "<b-cal-e>")
-  ("math:bold:cal f" "<b-cal-f>")
-  ("math:bold:cal g" "<b-cal-g>")
-  ("math:bold:cal h" "<b-cal-h>")
-  ("math:bold:cal i" "<b-cal-i>")
-  ("math:bold:cal j" "<b-cal-j>")
-  ("math:bold:cal k" "<b-cal-k>")
-  ("math:bold:cal l" "<b-cal-l>")
-  ("math:bold:cal m" "<b-cal-m>")
-  ("math:bold:cal n" "<b-cal-n>")
-  ("math:bold:cal o" "<b-cal-o>")
-  ("math:bold:cal p" "<b-cal-p>")
-  ("math:bold:cal q" "<b-cal-q>")
-  ("math:bold:cal r" "<b-cal-r>")
-  ("math:bold:cal s" "<b-cal-s>")
-  ("math:bold:cal t" "<b-cal-t>")
-  ("math:bold:cal u" "<b-cal-u>")
-  ("math:bold:cal v" "<b-cal-v>")
-  ("math:bold:cal w" "<b-cal-w>")
-  ("math:bold:cal x" "<b-cal-x>")
-  ("math:bold:cal y" "<b-cal-y>")
-  ("math:bold:cal z" "<b-cal-z>")
-  ("math:bold:cal A" "<b-cal-A>")
-  ("math:bold:cal B" "<b-cal-B>")
-  ("math:bold:cal C" "<b-cal-C>")
-  ("math:bold:cal D" "<b-cal-D>")
-  ("math:bold:cal E" "<b-cal-E>")
-  ("math:bold:cal F" "<b-cal-F>")
-  ("math:bold:cal G" "<b-cal-G>")
-  ("math:bold:cal H" "<b-cal-H>")
-  ("math:bold:cal I" "<b-cal-I>")
-  ("math:bold:cal J" "<b-cal-J>")
-  ("math:bold:cal K" "<b-cal-K>")
-  ("math:bold:cal L" "<b-cal-L>")
-  ("math:bold:cal M" "<b-cal-M>")
-  ("math:bold:cal N" "<b-cal-N>")
-  ("math:bold:cal O" "<b-cal-O>")
-  ("math:bold:cal P" "<b-cal-P>")
-  ("math:bold:cal Q" "<b-cal-Q>")
-  ("math:bold:cal R" "<b-cal-R>")
-  ("math:bold:cal S" "<b-cal-S>")
-  ("math:bold:cal T" "<b-cal-T>")
-  ("math:bold:cal U" "<b-cal-U>")
-  ("math:bold:cal V" "<b-cal-V>")
-  ("math:bold:cal W" "<b-cal-W>")
-  ("math:bold:cal X" "<b-cal-X>")
-  ("math:bold:cal Y" "<b-cal-Y>")
-  ("math:bold:cal Z" "<b-cal-Z>")
-
-  ("math:frak a" "<frak-a>")
-  ("math:frak b" "<frak-b>")
-  ("math:frak c" "<frak-c>")
-  ("math:frak d" "<frak-d>")
-  ("math:frak e" "<frak-e>")
-  ("math:frak f" "<frak-f>")
-  ("math:frak g" "<frak-g>")
-  ("math:frak h" "<frak-h>")
-  ("math:frak i" "<frak-i>")
-  ("math:frak i var" "<frak-imath>")
-  ("math:frak j" "<frak-j>")
-  ("math:frak j var" "<frak-jmath>")
-  ("math:frak k" "<frak-k>")
-  ("math:frak l" "<frak-l>")
-  ("math:frak m" "<frak-m>")
-  ("math:frak n" "<frak-n>")
-  ("math:frak o" "<frak-o>")
-  ("math:frak p" "<frak-p>")
-  ("math:frak q" "<frak-q>")
-  ("math:frak r" "<frak-r>")
-  ("math:frak s" "<frak-s>")
-  ("math:frak t" "<frak-t>")
-  ("math:frak u" "<frak-u>")
-  ("math:frak v" "<frak-v>")
-  ("math:frak w" "<frak-w>")
-  ("math:frak x" "<frak-x>")
-  ("math:frak y" "<frak-y>")
-  ("math:frak z" "<frak-z>")
-  ("math:frak A" "<frak-A>")
-  ("math:frak B" "<frak-B>")
-  ("math:frak C" "<frak-C>")
-  ("math:frak D" "<frak-D>")
-  ("math:frak E" "<frak-E>")
-  ("math:frak F" "<frak-F>")
-  ("math:frak G" "<frak-G>")
-  ("math:frak H" "<frak-H>")
-  ("math:frak I" "<frak-I>")
-  ("math:frak J" "<frak-J>")
-  ("math:frak K" "<frak-K>")
-  ("math:frak L" "<frak-L>")
-  ("math:frak M" "<frak-M>")
-  ("math:frak N" "<frak-N>")
-  ("math:frak O" "<frak-O>")
-  ("math:frak P" "<frak-P>")
-  ("math:frak Q" "<frak-Q>")
-  ("math:frak R" "<frak-R>")
-  ("math:frak S" "<frak-S>")
-  ("math:frak T" "<frak-T>")
-  ("math:frak U" "<frak-U>")
-  ("math:frak V" "<frak-V>")
-  ("math:frak W" "<frak-W>")
-  ("math:frak X" "<frak-X>")
-  ("math:frak Y" "<frak-Y>")
-  ("math:frak Z" "<frak-Z>")
-
-  ("math:bbb 0" "<bbb-0>")
-  ("math:bbb 1" "<bbb-1>")
-  ("math:bbb 2" "<bbb-2>")
-  ("math:bbb 3" "<bbb-3>")
-  ("math:bbb 4" "<bbb-4>")
-  ("math:bbb 5" "<bbb-5>")
-  ("math:bbb 6" "<bbb-6>")
-  ("math:bbb 7" "<bbb-7>")
-  ("math:bbb 8" "<bbb-8>")
-  ("math:bbb 9" "<bbb-9>")
-  ("math:bbb a" "<bbb-a>")
-  ("math:bbb b" "<bbb-b>")
-  ("math:bbb c" "<bbb-c>")
-  ("math:bbb d" "<bbb-d>")
-  ("math:bbb e" "<bbb-e>")
-  ("math:bbb f" "<bbb-f>")
-  ("math:bbb g" "<bbb-g>")
-  ("math:bbb h" "<bbb-h>")
-  ("math:bbb i" "<bbb-i>")
-  ("math:bbb j" "<bbb-j>")
-  ("math:bbb k" "<bbb-k>")
-  ("math:bbb l" "<bbb-l>")
-  ("math:bbb m" "<bbb-m>")
-  ("math:bbb n" "<bbb-n>")
-  ("math:bbb o" "<bbb-o>")
-  ("math:bbb p" "<bbb-p>")
-  ("math:bbb q" "<bbb-q>")
-  ("math:bbb r" "<bbb-r>")
-  ("math:bbb s" "<bbb-s>")
-  ("math:bbb t" "<bbb-t>")
-  ("math:bbb u" "<bbb-u>")
-  ("math:bbb v" "<bbb-v>")
-  ("math:bbb w" "<bbb-w>")
-  ("math:bbb x" "<bbb-x>")
-  ("math:bbb y" "<bbb-y>")
-  ("math:bbb z" "<bbb-z>")
-  ("math:bbb A" "<bbb-A>")
-  ("math:bbb B" "<bbb-B>")
-  ("math:bbb C" "<bbb-C>")
-  ("math:bbb D" "<bbb-D>")
-  ("math:bbb E" "<bbb-E>")
-  ("math:bbb F" "<bbb-F>")
-  ("math:bbb G" "<bbb-G>")
-  ("math:bbb H" "<bbb-H>")
-  ("math:bbb I" "<bbb-I>")
-  ("math:bbb J" "<bbb-J>")
-  ("math:bbb K" "<bbb-K>")
-  ("math:bbb L" "<bbb-L>")
-  ("math:bbb M" "<bbb-M>")
-  ("math:bbb N" "<bbb-N>")
-  ("math:bbb O" "<bbb-O>")
-  ("math:bbb P" "<bbb-P>")
-  ("math:bbb Q" "<bbb-Q>")
-  ("math:bbb R" "<bbb-R>")
-  ("math:bbb S" "<bbb-S>")
-  ("math:bbb T" "<bbb-T>")
-  ("math:bbb U" "<bbb-U>")
-  ("math:bbb V" "<bbb-V>")
-  ("math:bbb W" "<bbb-W>")
-  ("math:bbb X" "<bbb-X>")
-  ("math:bbb Y" "<bbb-Y>")
-  ("math:bbb Z" "<bbb-Z>"))
-
-(kbd-map
-  (:mode in-math-not-hybrid?)
-  ("0 var" "<emptyset>")
-  ("0 0 var" "<Bbb-0>")
-  ("0 0 var var" "<b-0>")
-  ("1 1 var" "<Bbb-1>")
-  ("1 1 var var" "<b-1>")
-  ("1 1 var var var" "<bbb-1>")
-  ("2 2 var" "<Bbb-2>")
-  ("2 2 var var" "<b-2>")
-  ("2 2 var var var" "<bbb-2>")
-  ("3 3 var" "<Bbb-3>")
-  ("3 3 var var" "<b-3>")
-  ("4 4 var" "<Bbb-4>")
-  ("4 4 var var" "<b-4>")
-  ("5 5 var" "<Bbb-5>")
-  ("5 5 var var" "<b-5>")
-  ("6 6 var" "<Bbb-6>")
-  ("6 6 var var" "<b-6>")
-  ("7 7 var" "<Bbb-7>")
-  ("7 7 var var" "<b-7>")
-  ("8 8 var" "<Bbb-8>")
-  ("8 8 var var" "<b-8>")
-  ("9 9 var" "<Bbb-9>")
-  ("9 9 var var" "<b-9>")
-  ("A A" "<bbb-A>")
-  ("A A var" "<cal-A>")
-  ("A A var var" "<cal*-A>")
-  ("A A var var var" "<frak-A>")
-  ("A A var var var var" "<b-A>")
-  ("A A var var var var var" "<up-A>")
-  ("A A var var var var var var" "<b-up-A>")
-  ("B B" "<bbb-B>")
-  ("B B var" "<cal-B>")
-  ("B B var var" "<cal*-B>")
-  ("B B var var var" "<frak-B>")
-  ("B B var var var var" "<b-B>")
-  ("B B var var var var var" "<up-B>")
-  ("B B var var var var var var" "<b-up-B>")
-  ("C C" "<bbb-C>")
-  ("C C var" "<cal-C>")
-  ("C C var var" "<cal*-C>")
-  ("C C var var var" "<frak-C>")
-  ("C C var var var var" "<b-C>")
-  ("C C var var var var var" "<up-C>")
-  ("C C var var var var var var" "<b-up-C>")
-  ("D D" "<bbb-D>")
-  ("D D var" "<cal-D>")
-  ("D D var var" "<cal*-D>")
-  ("D D var var var" "<frak-D>")
-  ("D D var var var var" "<b-D>")
-  ("D D var var var var var" "<up-D>")
-  ("D D var var var var var var" "<b-up-D>")
-  ("E E" "<bbb-E>")
-  ("E E var" "<cal-E>")
-  ("E E var var" "<cal*-E>")
-  ("E E var var var" "<frak-E>")
-  ("E E var var var var" "<b-E>")
-  ("E E var var var var var" "<up-E>")
-  ("E E var var var var var var" "<b-up-E>")
-  ("F F" "<bbb-F>")
-  ("F F var" "<cal-F>")
-  ("F F var var" "<cal*-F>")
-  ("F F var var var" "<frak-F>")
-  ("F F var var var var" "<b-F>")
-  ("F F var var var var var" "<up-F>")
-  ("F F var var var var var var" "<b-up-F>")
-  ("G G" "<bbb-G>")
-  ("G G var" "<cal-G>")
-  ("G G var var" "<cal*-G>")
-  ("G G var var var" "<frak-G>")
-  ("G G var var var var" "<b-G>")
-  ("G G var var var var var" "<up-G>")
-  ("G G var var var var var var" "<b-up-G>")
-  ("H H" "<bbb-H>")
-  ("H H var" "<cal-H>")
-  ("H H var var" "<cal*-H>")
-  ("H H var var var" "<frak-H>")
-  ("H H var var var var" "<b-H>")
-  ("H H var var var var var" "<up-H>")
-  ("H H var var var var var var" "<b-up-H>")
-  ("I I" "<bbb-I>")
-  ("I I var var" "<cal-I>")
-  ("I I var var var" "<cal*-I>")
-  ("I I var var var var" "<frak-I>")
-  ("I I var var var var var" "<b-I>")
-  ("I I var var var var var var" "<up-I>")
-  ("I I var var var var var var var" "<b-up-I>")
-  ("J J" "<bbb-J>")
-  ("J J var" "<cal-J>")
-  ("J J var var" "<cal*-J>")
-  ("J J var var var" "<frak-J>")
-  ("J J var var var var" "<b-J>")
-  ("J J var var var var var" "<up-J>")
-  ("J J var var var var var var" "<b-up-J>")
-  ("K K" "<bbb-K>")
-  ("K K var" "<cal-K>")
-  ("K K var var" "<cal*-K>")
-  ("K K var var var" "<frak-K>")
-  ("K K var var var var" "<b-K>")
-  ("K K var var var var var" "<up-K>")
-  ("K K var var var var var var" "<b-up-K>")
-  ("L L" "<bbb-L>")
-  ("L L var" "<cal-L>")
-  ("L L var var" "<cal*-L>")
-  ("L L var var var" "<frak-L>")
-  ("L L var var var var" "<b-L>")
-  ("L L var var var var var" "<up-L>")
-  ("L L var var var var var var" "<b-up-L>")
-  ("M M" "<bbb-M>")
-  ("M M var" "<cal-M>")
-  ("M M var var" "<cal*-M>")
-  ("M M var var var" "<frak-M>")
-  ("M M var var var var" "<b-M>")
-  ("M M var var var var var" "<up-M>")
-  ("M M var var var var var var" "<b-up-M>")
-  ("N N" "<bbb-N>")
-  ("N N var" "<cal-N>")
-  ("N N var var" "<cal*-N>")
-  ("N N var var var" "<frak-N>")
-  ("N N var var var var" "<b-N>")
-  ("N N var var var var var" "<up-N>")
-  ("N N var var var var var var" "<b-up-N>")
-  ("O O" "<bbb-O>")
-  ("O O var" "<cal-O>")
-  ("O O var var" "<cal*-O>")
-  ("O O var var var" "<frak-O>")
-  ("O O var var var var" "<b-O>")
-  ("O O var var var var var" "<up-O>")
-  ("O O var var var var var var" "<b-up-O>")
-  ("P P" "<bbb-P>")
-  ("P P var" "<cal-P>")
-  ("P P var var" "<cal*-P>")
-  ("P P var var var" "<frak-P>")
-  ("P P var var var var" "<b-P>")
-  ("P P var var var var var" "<up-P>")
-  ("P P var var var var var var" "<b-up-P>")
-  ("Q Q" "<bbb-Q>")
-  ("Q Q var" "<cal-Q>")
-  ("Q Q var var" "<cal*-Q>")
-  ("Q Q var var var" "<frak-Q>")
-  ("Q Q var var var var" "<b-Q>")
-  ("Q Q var var var var var" "<up-Q>")
-  ("Q Q var var var var var var" "<b-up-Q>")
-  ("R R" "<bbb-R>")
-  ("R R var" "<cal-R>")
-  ("R R var var" "<cal*-R>")
-  ("R R var var var" "<frak-R>")
-  ("R R var var var var" "<b-R>")
-  ("R R var var var var var" "<up-R>")
-  ("R R var var var var var var" "<b-up-R>")
-  ("S S" "<bbb-S>")
-  ("S S var" "<cal-S>")
-  ("S S var var" "<cal*-S>")
-  ("S S var var var" "<frak-S>")
-  ("S S var var var var" "<b-S>")
-  ("S S var var var var var" "<up-S>")
-  ("S S var var var var var var" "<b-up-S>")
-  ("T T" "<bbb-T>")
-  ("T T var" "<cal-T>")
-  ("T T var var" "<cal*-T>")
-  ("T T var var var" "<frak-T>")
-  ("T T var var var var" "<b-T>")
-  ("T T var var var var var" "<up-T>")
-  ("T T var var var var var var" "<b-up-T>")
-  ("U U" "<bbb-U>")
-  ("U U var" "<cal-U>")
-  ("U U var var" "<cal*-U>")
-  ("U U var var var" "<frak-U>")
-  ("U U var var var var" "<b-U>")
-  ("U U var var var var var" "<up-U>")
-  ("U U var var var var var var" "<b-up-U>")
-  ("V V" "<bbb-V>")
-  ("V V var" "<cal-V>")
-  ("V V var var" "<cal*-V>")
-  ("V V var var var" "<frak-V>")
-  ("V V var var var var" "<b-V>")
-  ("V V var var var var var" "<up-V>")
-  ("V V var var var var var var" "<b-up-V>")
-  ("W W" "<bbb-W>")
-  ("W W var" "<cal-W>")
-  ("W W var var" "<cal*-W>")
-  ("W W var var var" "<frak-W>")
-  ("W W var var var var" "<b-W>")
-  ("W W var var var var var" "<up-W>")
-  ("W W var var var var var var" "<b-up-W>")
-  ("X X" "<bbb-X>")
-  ("X X var" "<cal-X>")
-  ("X X var var" "<cal*-X>")
-  ("X X var var var" "<frak-X>")
-  ("X X var var var var" "<b-X>")
-  ("X X var var var var var" "<up-X>")
-  ("X X var var var var var var" "<b-up-X>")
-  ("Y Y" "<bbb-Y>")
-  ("Y Y var" "<cal-Y>")
-  ("Y Y var var" "<cal*-Y>")
-  ("Y Y var var var" "<frak-Y>")
-  ("Y Y var var var var" "<b-Y>")
-  ("Y Y var var var var var" "<up-Y>")
-  ("Y Y var var var var var var" "<b-up-Y>")
-  ("Z Z" "<bbb-Z>")
-  ("Z Z var" "<cal-Z>")
-  ("Z Z var var" "<cal*-Z>")
-  ("Z Z var var var" "<frak-Z>")
-  ("Z Z var var var var" "<b-Z>")
-  ("Z Z var var var var var" "<up-Z>")
-  ("Z Z var var var var var var" "<b-up-Z>")
-
-  ("a a" "<bbb-a>")
-  ("a a var" "<frak-a>")
-  ("a a var var" "<b-a>")
-  ("a a var var var" "<up-a>")
-  ("a a var var var var" "<b-up-a>")
-  ("b b" "<bbb-b>")
-  ("b b var" "<frak-b>")
-  ("b b var var" "<b-b>")
-  ("b b var var var" "<up-b>")
-  ("b b var var var var" "<b-up-b>")
-  ("c c" "<bbb-c>")
-  ("c c var" "<frak-c>")
-  ("c c var var" "<b-c>")
-  ("c c var var var" "<up-c>")
-  ("c c var var var var" "<b-up-c>")
-  ("d d" "<bbb-d>")
-  ("d d var" "<frak-d>")
-  ("d d var var" "<b-d>")
-  ("d d var var var" "<up-d>")
-  ("d d var var var var" "<b-up-d>")
-  ("e e" "<bbb-e>")
-  ("e e var" "<frak-e>")
-  ("e e var var" "<b-e>")
-  ("e e var var var" "<up-e>")
-  ("e e var var var var" "<b-up-e>")
-  ("f f" "<bbb-f>")
-  ("f f var" "<frak-f>")
-  ("f f var var" "<b-f>")
-  ("f f var var var" "<up-f>")
-  ("f f var var var var" "<b-up-f>")
-  ("g g" "<bbb-g>")
-  ("g g var" "<frak-g>")
-  ("g g var var" "<b-g>")
-  ("g g var var var" "<up-g>")
-  ("g g var var var var" "<b-up-g>")
-  ("h h" "<bbb-h>")
-  ("h h var" "<frak-h>")
-  ("h h var var" "<b-h>")
-  ("h h var var var" "<up-h>")
-  ("h h var var var var" "<b-up-h>")
-  ("i i" "<bbb-i>")
-  ("i i var" "<frak-i>")
-  ("i i var var" "<b-i>")
-  ("i i var var var" "<up-i>")
-  ("i i var var var var" "<b-up-i>")
-  ("j j" "<bbb-j>")
-  ("j j var" "<frak-j>")
-  ("j j var var" "<b-j>")
-  ("j j var var var" "<up-j>")
-  ("j j var var var var" "<b-up-j>")
-  ("k k" "<bbb-k>")
-  ("k k var" "<frak-k>")
-  ("k k var var" "<b-k>")
-  ("k k var var var" "<up-k>")
-  ("k k var var var var" "<b-up-k>")
-  ("l l" "<bbb-l>")
-  ("l l var" "<frak-l>")
-  ("l l var var" "<b-l>")
-  ("l l var var var" "<up-l>")
-  ("l l var var var var" "<b-up-l>")
-  ("m m var" "<bbb-m>")
-  ("m m var var" "<frak-m>")
-  ("m m var var var" "<b-m>")
-  ("m m var var var var" "<up-m>")
-  ("m m var var var var var" "<b-up-m>")
-  ("n n" "<bbb-n>")
-  ("n n var" "<frak-n>")
-  ("n n var var" "<b-n>")
-  ("n n var var var" "<up-n>")
-  ("n n var var var var" "<b-up-n>")
-  ("o o" "<bbb-o>")
-  ("o o var" "<frak-o>")
-  ("o o var var" "<b-o>")
-  ("o o var var var" "<up-o>")
-  ("o o var var var var" "<b-up-o>")
-  ("p p" "<bbb-p>")
-  ("p p var" "<frak-p>")
-  ("p p var var" "<b-p>")
-  ("p p var var var" "<up-p>")
-  ("p p var var var var" "<b-up-p>")
-  ("q q" "<bbb-q>")
-  ("q q var" "<frak-q>")
-  ("q q var var" "<b-q>")
-  ("q q var var var" "<up-q>")
-  ("q q var var var var" "<b-up-q>")
-  ("r r" "<bbb-r>")
-  ("r r var" "<frak-r>")
-  ("r r var var" "<b-r>")
-  ("r r var var var" "<up-r>")
-  ("r r var var var var" "<b-up-r>")
-  ("s s" "<bbb-s>")
-  ("s s var" "<frak-s>")
-  ("s s var var" "<b-s>")
-  ("s s var var var" "<up-s>")
-  ("s s var var var var" "<b-up-s>")
-  ("t t" "<bbb-t>")
-  ("t t var" "<frak-t>")
-  ("t t var var" "<b-t>")
-  ("t t var var var" "<up-t>")
-  ("t t var var var var" "<b-up-t>")
-  ("u u" "<bbb-u>")
-  ("u u var" "<frak-u>")
-  ("u u var var" "<b-u>")
-  ("u u var var var" "<up-u>")
-  ("u u var var var var" "<b-up-u>")
-  ("v v" "<bbb-v>")
-  ("v v var" "<frak-v>")
-  ("v v var var" "<b-v>")
-  ("v v var var var" "<up-v>")
-  ("v v var var var var" "<b-up-v>")
-  ("w w" "<bbb-w>")
-  ("w w var" "<frak-w>")
-  ("w w var var" "<b-w>")
-  ("w w var var var" "<up-w>")
-  ("w w var var var var" "<b-up-w>")
-  ("x x" "<bbb-x>")
-  ("x x var" "<frak-x>")
-  ("x x var var" "<b-x>")
-  ("x x var var var" "<up-x>")
-  ("x x var var var var" "<b-up-x>")
-  ("y y" "<bbb-y>")
-  ("y y var" "<frak-y>")
-  ("y y var var" "<b-y>")
-  ("y y var var var" "<up-y>")
-  ("y y var var var var" "<b-up-y>")
-  ("z z" "<bbb-z>")
-  ("z z var" "<frak-z>")
-  ("z z var var" "<b-z>")
-  ("z z var var var" "<up-z>")
-  ("z z var var var var" "<b-up-z>")
-
-  ;;("d d" "<mathd>")
-  ;;("d d var" "<partial>")
-  ;;("e e" "<mathe>")
-  ;;("g g" "<matheuler>")
-  ;;("i i" "<mathi>")
-  ;;("l l" "<mathlambda>")
-  ;;("p p" "<mathpi>")
-  ("R E" "<Re>")
-  ("I M" "<Im>")
-  ("d x" "<mathd>x")
-  ("d x var" "<mathd><xi>")
-  ("d x var var" "dx")
-  ("d y" "<mathd>y")
-  ("d y var" "<mathd><psi>")
-  ("d y var var" "dy")
-  ("d z" "<mathd>z")
-  ("d z var" "<mathd><zeta>")
-  ("d z var var" "dz")
-  ("d r" "<mathd>r")
-  ("d r var" "<mathd><rho>")
-  ("d r var var" "<mathd><varrho>")
-  ("d r var var var" "dr")
-  ("d j" "<mathd>j")
-  ("d j var" "<mathd><theta>")
-  ("d j var var" "<mathd><jmath>")
-  ("d j var var var" "<mathd><vartheta>")
-  ("d j var var var var" "dj"))
+  ("~ = /" "<ncong>")
+) ;kbd-map
+
+(kbd-map (:mode in-math-or-hybrid?)
+ ("/ \\" "<wedge>")
+ ("/ \\ var " "<cap>")
+ ("/ \\ var var" "<sqcap>")
+ ("/ \\ var var var" "<product>")
+ ("/ \\ var var var var" "<curlywedge>")
+ ("/ \\ var var var var var" "<curlywedgeuparrow>")
+ ("/ \\ var var var var var var" "<curlywedgedownarrow>")
+ ("/ \\ var var var var var var var" (begin (insert "/") (make-hybrid)))
+ ("- / \\" "<barwedge>")
+ ("\\ /" "<vee>")
+ ("\\ / var" "<cup>")
+ ("\\ / var +" "<uplus>")
+ ("\\ / var var" "<sqcup>")
+ ("\\ / var var var" "<amalg>")
+ ("\\ / var var var var" "<curlyvee>")
+ ("\\ / var var var var var" "<curlyveedownarrow>")
+ ("\\ / var var var var var var" "<curlyveeuparrow>")
+ ("\\ / var var var var var var var" (begin (make-hybrid) (insert "/")))
+ ("\\ / -" "<veebar>")
+) ;kbd-map
+
+(kbd-map (:mode in-math?)
+ ("# var" "<sharp>")
+ ("# var var" "<natural>")
+ ("# var var var" "<flat>")
+ ("&" "<wedge>")
+ ("& . ." "<wedge><cdots><wedge>")
+ ("& var" "<cap>")
+ ("& var . ." "<cap><cdots><cap>")
+ ("& var var" "<sqcap>")
+ ("& var var . ." "<sqcap><cdots><sqcap>")
+ ("& var var var" "<product>")
+ ("& var var var . ." "<product><cdots><product>")
+ ("& var var var var" "<curlywedge>")
+ ("& var var var var var . ." "<curlywedge><cdots><curlywedge>")
+ ("& var var var var var" "<curlywedgeuparrow>")
+ ("& var var var var var var" "<curlywedgedownarrow>")
+ ("& var var var var var var var" "&")
+ ("- &" "<barwedge>")
+ ("- & . ." "<barwedge><cdots><barwedge>")
+ ("%" "<vee>")
+ ("% . ." "<vee><cdots><vee>")
+ ("% var" "<cup>")
+ ("% var . ." "<cup><cdots><cup>")
+ ("% var +" "<uplus>")
+ ("% var + . ." "<uplus><cdots><uplus>")
+ ("% var + +" "<uplus><cdots><uplus>")
+ ("% var var" "<sqcup>")
+ ("% var var . ." "<sqcup><cdots><sqcup>")
+ ("% var var var" "<amalg>")
+ ("% var var var . ." "<amalg><cdots><amalg>")
+ ("% var var var var" "<curlyvee>")
+ ("% var var var var . ." "<curlyvee><cdots><curlyvee>")
+ ("% var var var var var" "<curlyveedownarrow>")
+ ("% var var var var var var" "<curlyveeuparrow>")
+ ("% var var var var var var var" "<permil>")
+ ("% var var var var var var var var" "%")
+ ("% -" "<veebar>")
+ ("% - . ." "<veebar><cdots><veebar>")
+
+ ("/ /" "<varparallel>")
+ ("/ / var" "<parallel>")
+ ("/ / var var" "//")
+ ("| /" "<nmid>")
+ ("| / var" "<ndivides>")
+ ("| var" "|")
+ ("| var / var" "<ndivides>")
+ ("| var var" (math-separator "|" 'default))
+ ("| var var var" "<shortmid>")
+ ("| var var var /" "<nshortmid>")
+ ("| var var var var" "<barsuchthat>")
+ ("| var var var var var" "<divides>")
+ ("| var var var var var /" "<ndivides>")
+ ("| | var" "<||>")
+ ("| | var /" "<nparallel>")
+ ("| | var var" (math-separator "<||>" 'default))
+ ("| | var var /" "<nparallel>")
+ ("| | var var var" "<shortparallel>")
+ ("| | var var var /" "<nshortparallel>")
+ ("| | var var var var" "<varparallel>")
+ ("| | var var var var /" "<nvarparallel>")
+ ("| | | var" "<interleave>")
+
+ ("| - var" "<vdash>")
+ ("| - var -" "<longvdash>")
+ ("| - -" "<longvdash>")
+ ("| var -" "<vdash>")
+ ("| var - -" "<longvdash>")
+ ("| | - var" "<Vdash>")
+ ("| | - var -" "<longVdash>")
+ ("| | - -" "<longVdash>")
+ ("| | var -" "<Vdash>")
+ ("| | var - -" "<longVdash>")
+ ("| | | - var" "<Vvdash>")
+ ("| | | - var -" "<longVvdash>")
+ ("| | | - -" "<longVvdash>")
+ ("| | | var -" "<Vvdash>")
+ ("| | | var - -" "<longVvdash>")
+ ("- | var" "<dashv>")
+ ("- | var |" "<dashV>")
+ ("- | var | |" "<dashVv>")
+ ("- | | var" "<dashV>")
+ ("- | | | var" "<dashVv>")
+ ("- - |" "<longdashv>")
+ ("- - | |" "<longdashV>")
+ ("- - | | |" "<longdashVv>")
+ ("| = var" "<vDash>")
+ ("| = var =" "<longvDash>")
+ ("| = =" "<longvDash>")
+ ("| var =" "<vDash>")
+ ("| var = =" "<longvDash>")
+ ("| | = var" "<VDash>")
+ ("| | = var =" "<longVDash>")
+ ("| | = =" "<longVDash>")
+ ("| | var =" "<VDash>")
+ ("| | var = =" "<longVDash>")
+ ("| | | = var" "<VvDash>")
+ ("| | | = var =" "<longVvDash>")
+ ("| | | = =" "<longVvDash>")
+ ("| | | var =" "<VvDash>")
+ ("| | | var = =" "<longVvDash>")
+ ("= | var" "<Dashv>")
+ ("= | var |" "<DashV>")
+ ("= | var | |" "<DashVv>")
+ ("= | | var" "<DashV>")
+ ("= | | | var" "<DashVv>")
+ ("= = |" "<longDashv>")
+ ("= = | |" "<longDashV>")
+ ("= = | | |" "<longDashVv>")
+
+ ("| - var /" "<nvdash>")
+ ("| - /" "<nvdash>")
+ ("| var - /" "<nvdash>")
+ ("| | - var /" "<nVdash>")
+ ("| | - /" "<nVdash>")
+ ("| | var - /" "<nVdash>")
+ ("| | | - var /" "<nVvdash>")
+ ("| | | - /" "<nVvdash>")
+ ("| | | var - /" "<nVvdash>")
+ ("- | var /" "<ndashv>")
+ ("- | /" "<ndashv>")
+ ("- | var | /" "<ndashV>")
+ ("- | | var /" "<ndashV>")
+ ("- | | /" "<ndashV>")
+ ("- | | | var /" "<ndashVv>")
+ ("- | | | /" "<ndashVv>")
+ ("| = var /" "<nvDash>")
+ ("| = /" "<nvDash>")
+ ("| var = /" "<nvDash>")
+ ("| | = var /" "<nVDash>")
+ ("| | = /" "<nVDash>")
+ ("| | var = /" "<nVDash>")
+ ("| | | = var /" "<nVvDash>")
+ ("| | | = /" "<nVvDash>")
+ ("| | | var = /" "<nVvDash>")
+ ("= | var /" "<nDashv>")
+ ("= | /" "<nDashv>")
+ ("= | var | /" "<nDashV>")
+ ("= | | var /" "<nDashV>")
+ ("= | | /" "<nDashV>")
+ ("= | | | var /" "<nDashVv>")
+ ("= | | | /" "<nDashVv>")
+
+ ("< | var" "<vartriangleleft>")
+ ("< | var /" "<ntriangleleft>")
+ ("< | var =" "<trianglelefteqslant>")
+ ("< | var = /" "<ntrianglelefteqslant>")
+ ("< | var = var" "<trianglelefteq>")
+ ("< | var = var /" "<ntrianglelefteq>")
+ ("< | var var" "<blacktriangleleft>")
+ ("< | var var /" "<nblacktriangleleft>")
+ ("< | var var =" "<blacktrianglelefteqslant>")
+ ("< | var var = /" "<nblacktrianglelefteqslant>")
+ ("< | var var = var" "<blacktrianglelefteq>")
+ ("< | var var = var /" "<nblacktrianglelefteq>")
+ ("| > var" "<vartriangleright>")
+ ("| > var /" "<ntriangleright>")
+ ("| > var =" "<trianglerighteqslant>")
+ ("| > var = /" "<ntrianglerighteqslant>")
+ ("| > var = var" "<trianglerighteq>")
+ ("| > var = var /" "<ntrianglerighteq>")
+ ("| > var var" "<blacktriangleright>")
+ ("| > var var /" "<nblacktriangleright>")
+ ("| > var var =" "<blacktrianglerighteqslant>")
+ ("| > var var = /" "<nblacktrianglerighteqslant>")
+ ("| > var var = var" "<blacktrianglerighteq>")
+ ("| > var var = var /" "<nblacktrianglerighteq>")
+ ("| var >" "<vartriangleright>")
+ ("| var > /" "<ntriangleright>")
+ ("| var > =" "<trianglerighteqslant>")
+ ("| var > = /" "<ntrianglerighteqslant>")
+ ("| var > = var" "<trianglerighteq>")
+ ("| var > = var /" "<ntrianglerighteq>")
+ ("| var > var" "<blacktriangleright>")
+ ("| var > var /" "<nblacktriangleright>")
+ ("| var > var =" "<blacktrianglerighteqslant>")
+ ("| var > var = /" "<nblacktrianglerighteqslant>")
+ ("| var > var = var" "<blacktrianglerighteq>")
+ ("| var > var = var /" "<nblacktrianglerighteq>")
+
+ ("+ var" "<kreuz>")
+ ("+ var var" "<dag>")
+ ("+ var var var" "<ddag>")
+ ("+ var var var var" "<noplus>")
+ ("+ . ." "+<cdots>+")
+ ("+ +" "+<cdots>+")
+ ("+ -" "<pm>")
+ ("- +" "<mp>")
+ ("+ - . ." "<pm><cdots><pm>")
+ ("- + . ." "<mp><cdots><mp>")
+ ("+ + var" "<pplus>")
+ ("@ =" "<circeq>")
+ ("@ = var" "<triangleq>")
+ ("= @" "<eqcirc>")
+ ("- . ." "-<cdots>-")
+ ("- @" "<multimap>")
+ ("- - @" "<longmultimap>")
+ (". =" "<doteq>")
+ (". +" "<dotplus>")
+ (". -" "<dotminus>")
+ (". *" "<dottimes>")
+ (". * var" "<dotast>")
+ (". ." "<ldots>")
+ (". . var" "<cdots>")
+ (". . var !" "<cdotslim>")
+ (". . var var" "<hdots>")
+ (". . var var var" "<vdots>")
+ (". . var var var var" "<ddots>")
+ (". . var var var var var" "<udots>")
+ (":" ":")
+ (": var" "<of>")
+ (": var var" "<over>")
+ (": var var . ." "<over><ldots><over>")
+ (": var var var" "<suchthat>")
+ (": :" "<colons>")
+ (": >" "<transtype>")
+ (": =" "<assign>")
+ ("+ =" "<plusassign>")
+ ("- =" "<minusassign>")
+ ("/ var" "<over>")
+ ("/ var var" "<div>")
+ ("*" "<times>")
+ ("* . ." "*<cdots>*")
+ ("* *" "*<cdots>*")
+ ("* var" "*")
+ ("* var . ." "<times><cdots><times>")
+ ("* var var" "<ast>")
+ ("* var var . ." "<ast><cdots><ast>")
+ ("* var var var" "<cdot>")
+ ("* var var var . ." "<cdot><cdots><cdot>")
+ ("* var var var var" "<exterior>")
+ ("* var var var var . ." "<exterior><cdots><exterior>")
+ ("* var var var var var" "<star>")
+ ("* &" "<exterior>")
+ ("| var *" "<ltimes>")
+ ("| var * var" "<ttimes>")
+ ("| var * var var" "<btimes>")
+ ("| var * |" "<join>")
+ ("* var |" "<rtimes>")
+ ("* var | var" "<btimes>")
+ ("* var | var var" "<ttimes>")
+ ("! var" "<neg>")
+
+ ("math:misc &" "&")
+ ("math:misc %" "%")
+ ("math:misc % var" "<permil>")
+ ("math:misc \\" "\\")
+ ("math:misc \\ var" "<setminus>")
+ ("math:misc \\ var var" "<smallsetminus>")
+ ("math:misc |" "|")
+ ("math:misc | var" "<shortmid>")
+ ("math:misc | var /" "<nshortmid>")
+ ("math:misc | var var" "<divides>")
+ ("math:misc | var var /" "<ndivides>")
+ ("math:misc | |" "<||>")
+ ("math:misc | | /" "<nparallel>")
+ ("math:misc | | var" "<shortparallel>")
+ ("math:misc | | var /" "<nshortparallel>")
+ ("math:misc | | var var" "<varparallel>")
+ ("math:misc | | var var /" "<nvarparallel>")
+
+ ("math:greek a" "<alpha>")
+ ("math:greek b" "<beta>")
+ ("math:greek g" "<gamma>")
+ ("math:greek g var" "<matheuler>")
+ ("math:greek d" "<delta>")
+ ("math:greek e" "<varepsilon>")
+ ("math:greek e var" "<epsilon>")
+ ("math:greek e var var" "<backepsilon>")
+ ("math:greek z" "<zeta>")
+ ("math:greek h" "<eta>")
+ ("math:greek j" "<theta>")
+ ("math:greek j var" "<vartheta>")
+ ("math:greek i" "<iota>")
+ ("math:greek k" "<kappa>")
+ ("math:greek k var" "<varkappa>")
+ ("math:greek l" "<lambda>")
+ ("math:greek l var" "<mathlambda>")
+ ("math:greek m" "<mu>")
+ ("math:greek n" "<nu>")
+ ("math:greek x" "<xi>")
+ ("math:greek o" "<omicron>")
+ ("math:greek p" "<pi>")
+ ("math:greek p var" "<mathpi>")
+ ("math:greek p var var" "<varpi>")
+ ("math:greek r" "<rho>")
+ ("math:greek r var" "<varrho>")
+ ("math:greek s" "<sigma>")
+ ("math:greek s var" "<varsigma>")
+ ("math:greek c" "<varsigma>")
+ ("math:greek c var" "<sigma>")
+ ("math:greek t" "<tau>")
+ ("math:greek u" "<upsilon>")
+ ("math:greek y" "<psi>")
+ ("math:greek q" "<chi>")
+ ("math:greek w" "<omega>")
+ ("math:greek w var" "<mho>")
+ ("math:greek v" "<phi>")
+ ("math:greek v var" "<varphi>")
+ ("math:greek f" "<varphi>")
+ ("math:greek f var" "<phi>")
+ ("math:greek A" "<Alpha>")
+ ("math:greek B" "<Beta>")
+ ("math:greek G" "<Gamma>")
+ ("math:greek G var" "<mathGamma>")
+ ("math:greek D" "<Delta>")
+ ("math:greek D var" "<mathLaplace>")
+ ("math:greek E" "<Epsilon>")
+ ("math:greek E var" "<Backepsilon>")
+ ("math:greek Z" "<Zeta>")
+ ("math:greek H" "<Eta>")
+ ("math:greek J" "<Theta>")
+ ("math:greek I" "<Iota>")
+ ("math:greek K" "<Kappa>")
+ ("math:greek L" "<Lambda>")
+ ("math:greek M" "<Mu>")
+ ("math:greek N" "<Nu>")
+ ("math:greek X" "<Xi>")
+ ("math:greek O" "<Omicron>")
+ ("math:greek P" "<Pi>")
+ ("math:greek R" "<Rho>")
+ ("math:greek S" "<Sigma>")
+ ("math:greek S var" "<Backsigma>")
+ ("math:greek C" "<Sigma>")
+ ("math:greek T" "<Tau>")
+ ("math:greek U" "<Upsilon>")
+ ("math:greek Y" "<Psi>")
+ ("math:greek Q" "<Chi>")
+ ("math:greek W" "<Omega>")
+ ("math:greek W var" "<Mho>")
+ ("math:greek V" "<Phi>")
+ ("math:greek F" "<Phi>")
+) ;kbd-map
+
+(kbd-map (:mode in-math-not-hybrid?)
+ ("a var" "<alpha>")
+ ("b var" "<beta>")
+ ("b var var" "<flat>")
+ ("c var" "<varsigma>")
+ ("c var var" "<sigma>")
+ ("c - var" "<#A793>")
+ ("d var" "<delta>")
+ ("d var var" "<mathd>")
+ ("d var var var" "<partial>")
+ ("d - var " "<#111>")
+ ("e var" "<varepsilon>")
+ ("e var var" "<mathe>")
+ ("e var var var" "<epsilon>")
+ ("e var var var var" "<backepsilon>")
+ ("g var" "<gamma>")
+ ("g var var" "<matheuler>")
+ ("h var" "<eta>")
+ ("h var var" "<hbar>")
+ ("i var" "<iota>")
+ ("i var var" "<mathi>")
+ ("i var var var" "<imath>")
+ ("j var" "<theta>")
+ ("j var var" "<jmath>")
+ ("j var var var" "<vartheta>")
+ ("k var" "<kappa>")
+ ("k var var" "<varkappa>")
+ ("k - var" "<#A741>")
+ ("l var" "<lambda>")
+ ("l var var" "<mathlambda>")
+ ("l var var var" "<ell>")
+ ("l - var" "<#A749>")
+ ("m var" "<mu>")
+ ("n var" "<nu>")
+ ("n var var" "<nabla>")
+ ("o var" "<omicron>")
+ ("o - var" "<#A74B>")
+ ("p var" "<pi>")
+ ("p var var" "<mathpi>")
+ ("p var var var" "<varpi>")
+ ("p - var" "<#A751>")
+ ("q var" "<chi>")
+ ("r var" "<rho>")
+ ("r var var" "<varrho>")
+ ("s var" "<sigma>")
+ ("s var var" "<varsigma>")
+ ("s - var" "<#A7A9>")
+ ("t var" "<tau>")
+ ("u var" "<upsilon>")
+ ("v var" "<phi>")
+ ("v var var" "<varphi>")
+ ("f var" "<varphi>")
+ ("f var var" "<phi>")
+ ("f - var" "<#A799>")
+ ("w var" "<omega>")
+ ("w var var" "<mho>")
+ ("x var" "<xi>")
+ ("y var" "<psi>")
+ ("z var" "<zeta>")
+
+ ("A var" "<Alpha>")
+ ("A var var" "<forall>")
+ ("A var var var" "<aleph>")
+ ("B var" "<Beta>")
+ ("B var var" "<bot>")
+ ("B var var var" "<beth>")
+ ("C var" "<Sigma>")
+ ("C var var" "<mathcatalan>")
+ ("C var var var" "<complement>")
+ ("C - var" "<#A792>")
+ ("D var" "<Delta>")
+ ("D var var" "<mathD>")
+ ("D var var var" "<daleth>")
+ ("D var var var var" "<nabla>")
+ ("D - var" "<#110>")
+ ("E var" "<Epsilon>")
+ ("E var var" "<exists>")
+ ("E var var var" "<Exists>")
+ ("E var var var var" "<Backepsilon>")
+ ("G var" "<Gamma>")
+ ("G var var" "<gimel>")
+ ("G var var var" "<mathGamma>")
+ ("G var var var var" "<digamma>")
+ ("H var" "<Eta>")
+ ("I var" (math-big-operator "int"))
+ ("I I var" (math-big-operator "iint"))
+ ("I var ." (math-big-operator "idotsint"))
+ ("I I I var" (math-big-operator "iiint"))
+ ("I I I I var" (math-big-operator "iiiint"))
+ ("I var var " "<Iota>")
+ ("I var var var" "<Im>")
+ ("J var" "<Theta>")
+ ("K var" "<Kappa>")
+ ("K - var" "<#A740>")
+ ("L var" "<Lambda>")
+ ("L - var" "<#A748>")
+ ("M var" "<Mu>")
+ ("N var" "<Nu>")
+ ("N var var" (math-big-operator "cap"))
+ ("O var" "<Omicron>")
+ ("O - var" "<#A74A>")
+ ("P var" "<Pi>")
+ ("P var var" "<wp>")
+ ("P var var var" (math-big-operator "prod"))
+ ("P - var" "<#A750>")
+ ("Q var" "<Chi>")
+ ("R var" "<Rho>")
+ ("R var var" "<Re>")
+ ("S var" "<Sigma>")
+ ("S var var" "<Backsigma>")
+ ("S var var var" (math-big-operator "sum"))
+ ("S - var" "<#A7A8>")
+ ("T var" "<Tau>")
+ ("T var var" "<top>")
+ ("T var var var" "<perp>")
+ ("T var var var var" "<leftthreetimes>")
+ ("T var var var var var" "<rightthreetimes>")
+ ("T var var var var var var" "<lefttimesthree>")
+ ("T var var var var var var var" "<righttimesthree>")
+ ("U var" "<Upsilon>")
+ ("U var var" (math-big-operator "cup"))
+ ("V var" "<Phi>")
+ ("V var var" "<nabla>")
+ ("F var" "<Phi>")
+ ("F - var" "<#A798>")
+ ("W var" "<Omega>")
+ ("W var var" "<Mho>")
+ ("X var" "<Xi>")
+ ("Y var" "<Psi>")
+ ("Y var var" "<Ydown>")
+ ("Y var var var" "<Yup>")
+ ("Y var var var var" "<Yleft>")
+ ("Y var var var var var" "<Yright>")
+ ("Z var" "<Zeta>")
+) ;kbd-map
+
+(kbd-map (:mode in-math?)
+ ("math:bold 0" "<b-0>")
+ ("math:bold 1" "<b-1>")
+ ("math:bold 2" "<b-2>")
+ ("math:bold 3" "<b-3>")
+ ("math:bold 4" "<b-4>")
+ ("math:bold 5" "<b-5>")
+ ("math:bold 6" "<b-6>")
+ ("math:bold 7" "<b-7>")
+ ("math:bold 8" "<b-8>")
+ ("math:bold 9" "<b-9>")
+ ("math:bold a" "<b-a>")
+ ("math:bold b" "<b-b>")
+ ("math:bold c" "<b-c>")
+ ("math:bold d" "<b-d>")
+ ("math:bold e" "<b-e>")
+ ("math:bold f" "<b-f>")
+ ("math:bold g" "<b-g>")
+ ("math:bold h" "<b-h>")
+ ("math:bold i" "<b-i>")
+ ("math:bold j" "<b-j>")
+ ("math:bold k" "<b-k>")
+ ("math:bold l" "<b-l>")
+ ("math:bold m" "<b-m>")
+ ("math:bold n" "<b-n>")
+ ("math:bold o" "<b-o>")
+ ("math:bold p" "<b-p>")
+ ("math:bold q" "<b-q>")
+ ("math:bold r" "<b-r>")
+ ("math:bold s" "<b-s>")
+ ("math:bold t" "<b-t>")
+ ("math:bold u" "<b-u>")
+ ("math:bold v" "<b-v>")
+ ("math:bold w" "<b-w>")
+ ("math:bold x" "<b-x>")
+ ("math:bold y" "<b-y>")
+ ("math:bold z" "<b-z>")
+ ("math:bold A" "<b-A>")
+ ("math:bold B" "<b-B>")
+ ("math:bold C" "<b-C>")
+ ("math:bold D" "<b-D>")
+ ("math:bold E" "<b-E>")
+ ("math:bold F" "<b-F>")
+ ("math:bold G" "<b-G>")
+ ("math:bold H" "<b-H>")
+ ("math:bold I" "<b-I>")
+ ("math:bold J" "<b-J>")
+ ("math:bold K" "<b-K>")
+ ("math:bold L" "<b-L>")
+ ("math:bold M" "<b-M>")
+ ("math:bold N" "<b-N>")
+ ("math:bold O" "<b-O>")
+ ("math:bold P" "<b-P>")
+ ("math:bold Q" "<b-Q>")
+ ("math:bold R" "<b-R>")
+ ("math:bold S" "<b-S>")
+ ("math:bold T" "<b-T>")
+ ("math:bold U" "<b-U>")
+ ("math:bold V" "<b-V>")
+ ("math:bold W" "<b-W>")
+ ("math:bold X" "<b-X>")
+ ("math:bold Y" "<b-Y>")
+ ("math:bold Z" "<b-Z>")
+ ("math:bold i var" "<b-imath>")
+ ("math:bold j var" "<b-jmath>")
+ ("math:bold l var" "<b-ell>")
+ ("math:bold ~" "<thicksim>")
+ ("math:bold ~ ~" "<thickapprox>")
+
+ ("math:bold:greek a" "<b-alpha>")
+ ("math:bold:greek b" "<b-beta>")
+ ("math:bold:greek g" "<b-gamma>")
+ ("math:bold:greek d" "<b-delta>")
+ ("math:bold:greek e" "<b-varepsilon>")
+ ("math:bold:greek e var" "<b-epsilon>")
+ ("math:bold:greek e var var" "<b-backepsilon>")
+ ("math:bold:greek z" "<b-zeta>")
+ ("math:bold:greek h" "<b-eta>")
+ ("math:bold:greek j" "<b-theta>")
+ ("math:bold:greek j var" "<b-vartheta>")
+ ("math:bold:greek i" "<b-iota>")
+ ("math:bold:greek k" "<b-kappa>")
+ ("math:bold:greek k var" "<b-varkappa>")
+ ("math:bold:greek l" "<b-lambda>")
+ ("math:bold:greek m" "<b-mu>")
+ ("math:bold:greek n" "<b-nu>")
+ ("math:bold:greek x" "<b-xi>")
+ ("math:bold:greek o" "<b-omicron>")
+ ("math:bold:greek p" "<b-pi>")
+ ("math:bold:greek p var" "<b-varpi>")
+ ("math:bold:greek r" "<b-rho>")
+ ("math:bold:greek r var" "<b-varrho>")
+ ("math:bold:greek s" "<b-sigma>")
+ ("math:bold:greek s var" "<b-varsigma>")
+ ("math:bold:greek c" "<b-varsigma>")
+ ("math:bold:greek c var" "<b-sigma>")
+ ("math:bold:greek t" "<b-tau>")
+ ("math:bold:greek u" "<b-upsilon>")
+ ("math:bold:greek y" "<b-psi>")
+ ("math:bold:greek q" "<b-chi>")
+ ("math:bold:greek w" "<b-omega>")
+ ("math:bold:greek w var" "<b-mho>")
+ ("math:bold:greek v" "<b-phi>")
+ ("math:bold:greek v var" "<b-varphi>")
+ ("math:bold:greek f" "<b-varphi>")
+ ("math:bold:greek f var" "<b-phi>")
+ ("math:bold:greek A" "<b-Alpha>")
+ ("math:bold:greek B" "<b-Beta>")
+ ("math:bold:greek G" "<b-Gamma>")
+ ("math:bold:greek D" "<b-Delta>")
+ ("math:bold:greek E" "<b-Epsilon>")
+ ("math:bold:greek E var" "<b-Backepsilon>")
+ ("math:bold:greek Z" "<b-Zeta>")
+ ("math:bold:greek H" "<b-Eta>")
+ ("math:bold:greek J" "<b-Theta>")
+ ("math:bold:greek I" "<b-Iota>")
+ ("math:bold:greek K" "<b-Kappa>")
+ ("math:bold:greek L" "<b-Lambda>")
+ ("math:bold:greek M" "<b-Mu>")
+ ("math:bold:greek N" "<b-Nu>")
+ ("math:bold:greek X" "<b-Xi>")
+ ("math:bold:greek O" "<b-Omicron>")
+ ("math:bold:greek P" "<b-Pi>")
+ ("math:bold:greek R" "<b-Rho>")
+ ("math:bold:greek S" "<b-Sigma>")
+ ("math:bold:greek S var" "<b-Backsigma>")
+ ("math:bold:greek C" "<b-Sigma>")
+ ("math:bold:greek T" "<b-Tau>")
+ ("math:bold:greek U" "<b-Upsilon>")
+ ("math:bold:greek Y" "<b-Psi>")
+ ("math:bold:greek Q" "<b-Chi>")
+ ("math:bold:greek W" "<b-Omega>")
+ ("math:bold:greek W var" "<b-Mho>")
+ ("math:bold:greek V" "<b-Phi>")
+ ("math:bold:greek F" "<b-Phi>")
+
+ ("math:bold a var" "<b-alpha>")
+ ("math:bold b var" "<b-beta>")
+ ("math:bold c var" "<b-varsigma>")
+ ("math:bold c var var" "<b-sigma>")
+ ("math:bold d var" "<b-delta>")
+ ("math:bold e var" "<b-varepsilon>")
+ ("math:bold e var var" "<b-epsilon>")
+ ("math:bold e var var var" "<b-backepsilon>")
+ ("math:bold g var" "<b-gamma>")
+ ("math:bold h var" "<b-eta>")
+ ("math:bold i var" "<b-iota>")
+ ("math:bold i var var" "<b-imath>")
+ ("math:bold j var" "<b-theta>")
+ ("math:bold j var var" "<b-jmath>")
+ ("math:bold j var var var" "<b-vartheta>")
+ ("math:bold k var" "<b-kappa>")
+ ("math:bold k var var" "<b-varkappa>")
+ ("math:bold l var" "<b-lambda>")
+ ("math:bold l var var" "<b-ell>")
+ ("math:bold m var" "<b-mu>")
+ ("math:bold n var" "<b-nu>")
+ ("math:bold o var" "<b-omicron>")
+ ("math:bold p var" "<b-pi>")
+ ("math:bold p var var" "<b-varpi>")
+ ("math:bold q var" "<b-chi>")
+ ("math:bold r var" "<b-rho>")
+ ("math:bold r var var" "<b-varrho>")
+ ("math:bold s var" "<b-sigma>")
+ ("math:bold s var var" "<b-varsigma>")
+ ("math:bold t var" "<b-tau>")
+ ("math:bold u var" "<b-upsilon>")
+ ("math:bold v var" "<b-phi>")
+ ("math:bold v var var" "<b-varphi>")
+ ("math:bold f var" "<b-varphi>")
+ ("math:bold f var var" "<b-phi>")
+ ("math:bold w var" "<b-omega>")
+ ("math:bold w var var" "<b-mho>")
+ ("math:bold x var" "<b-xi>")
+ ("math:bold y var" "<b-psi>")
+ ("math:bold z var" "<b-zeta>")
+ ("math:bold A var" "<b-Alpha>")
+ ("math:bold B var" "<b-Beta>")
+ ("math:bold C var" "<b-Sigma>")
+ ("math:bold D var" "<b-Delta>")
+ ("math:bold E var" "<b-Epsilon>")
+ ("math:bold E var var" "<b-Backepsilon>")
+ ("math:bold G var" "<b-Gamma>")
+ ("math:bold H var" "<b-Eta>")
+ ("math:bold I var" "<b-Iota>")
+ ("math:bold J var" "<b-Theta>")
+ ("math:bold K var" "<b-Kappa>")
+ ("math:bold L var" "<b-Lambda>")
+ ("math:bold M var" "<b-Mu>")
+ ("math:bold N var" "<b-Nu>")
+ ("math:bold O var" "<b-Omicron>")
+ ("math:bold P var" "<b-Pi>")
+ ("math:bold Q var" "<b-Chi>")
+ ("math:bold R var" "<b-Rho>")
+ ("math:bold S var" "<b-Sigma>")
+ ("math:bold S var var" "<b-Backsigma>")
+ ("math:bold T var" "<b-Tau>")
+ ("math:bold U var" "<b-Upsilon>")
+ ("math:bold V var" "<b-Phi>")
+ ("math:bold F var" "<b-Phi>")
+ ("math:bold W var" "<b-Omega>")
+ ("math:bold W var var" "<b-Mho>")
+ ("math:bold X var" "<b-Xi>")
+ ("math:bold Y var" "<b-Psi>")
+ ("math:bold Z var" "<b-Zeta>")
+
+ ("math:up a" "<up-a>")
+ ("math:up b" "<up-b>")
+ ("math:up c" "<up-c>")
+ ("math:up d" "<up-d>")
+ ("math:up e" "<up-e>")
+ ("math:up f" "<up-f>")
+ ("math:up g" "<up-g>")
+ ("math:up h" "<up-h>")
+ ("math:up i" "<up-i>")
+ ("math:up j" "<up-j>")
+ ("math:up k" "<up-k>")
+ ("math:up l" "<up-l>")
+ ("math:up m" "<up-m>")
+ ("math:up n" "<up-n>")
+ ("math:up o" "<up-o>")
+ ("math:up p" "<up-p>")
+ ("math:up q" "<up-q>")
+ ("math:up r" "<up-r>")
+ ("math:up s" "<up-s>")
+ ("math:up t" "<up-t>")
+ ("math:up u" "<up-u>")
+ ("math:up v" "<up-v>")
+ ("math:up w" "<up-w>")
+ ("math:up x" "<up-x>")
+ ("math:up y" "<up-y>")
+ ("math:up z" "<up-z>")
+ ("math:up A" "<up-A>")
+ ("math:up B" "<up-B>")
+ ("math:up C" "<up-C>")
+ ("math:up D" "<up-D>")
+ ("math:up E" "<up-E>")
+ ("math:up F" "<up-F>")
+ ("math:up G" "<up-G>")
+ ("math:up H" "<up-H>")
+ ("math:up I" "<up-I>")
+ ("math:up J" "<up-J>")
+ ("math:up K" "<up-K>")
+ ("math:up L" "<up-L>")
+ ("math:up M" "<up-M>")
+ ("math:up N" "<up-N>")
+ ("math:up O" "<up-O>")
+ ("math:up P" "<up-P>")
+ ("math:up Q" "<up-Q>")
+ ("math:up R" "<up-R>")
+ ("math:up S" "<up-S>")
+ ("math:up T" "<up-T>")
+ ("math:up U" "<up-U>")
+ ("math:up V" "<up-V>")
+ ("math:up W" "<up-W>")
+ ("math:up X" "<up-X>")
+ ("math:up Y" "<up-Y>")
+ ("math:up Z" "<up-Z>")
+
+ ("math:up a var" "<up-alpha>")
+ ("math:up b var" "<up-beta>")
+ ("math:up c var" "<up-varsigma>")
+ ("math:up c var var" "<up-sigma>")
+ ("math:up d var" "<up-delta>")
+ ("math:up e var" "<up-varepsilon>")
+ ("math:up e var var" "<up-epsilon>")
+ ("math:up g var" "<up-gamma>")
+ ("math:up h var" "<up-eta>")
+ ("math:up i var" "<up-iota>")
+ ("math:up i var var" "<up-imath>")
+ ("math:up j var" "<up-theta>")
+ ("math:up j var var" "<up-jmath>")
+ ("math:up j var var var" "<up-vartheta>")
+ ("math:up k var" "<up-kappa>")
+ ("math:up k var var" "<up-varkappa>")
+ ("math:up l var" "<up-lambda>")
+ ("math:up l var var" "<up-ell>")
+ ("math:up m var" "<up-mu>")
+ ("math:up n var" "<up-nu>")
+ ("math:up o var" "<up-omicron>")
+ ("math:up p var" "<up-pi>")
+ ("math:up p var var" "<up-varpi>")
+ ("math:up q var" "<up-chi>")
+ ("math:up r var" "<up-rho>")
+ ("math:up r var var" "<up-varrho>")
+ ("math:up s var" "<up-sigma>")
+ ("math:up s var var" "<up-varsigma>")
+ ("math:up t var" "<up-tau>")
+ ("math:up u var" "<up-upsilon>")
+ ("math:up v var" "<up-phi>")
+ ("math:up v var var" "<up-varphi>")
+ ("math:up f var" "<up-varphi>")
+ ("math:up f var var" "<up-phi>")
+ ("math:up w var" "<up-omega>")
+ ("math:up x var" "<up-xi>")
+ ("math:up y var" "<up-psi>")
+ ("math:up z var" "<up-zeta>")
+ ;; ("math:up A var" "<up-Alpha>")
+ ;; ("math:up B var" "<up-Beta>")
+ ;; ("math:up C var" "<up-Sigma>")
+ ;; ("math:up D var" "<up-Delta>")
+ ;; ("math:up E var" "<up-Epsilon>")
+ ;; ("math:up G var" "<up-Gamma>")
+ ;; ("math:up H var" "<up-Eta>")
+ ;; ("math:up I var" "<up-Iota>")
+ ;; ("math:up J var" "<up-Theta>")
+ ;; ("math:up K var" "<up-Kappa>")
+ ;; ("math:up L var" "<up-Lambda>")
+ ;; ("math:up M var" "<up-Mu>")
+ ;; ("math:up N var" "<up-Nu>")
+ ;; ("math:up O var" "<up-Omicron>")
+ ;; ("math:up P var" "<up-Pi>")
+ ;; ("math:up Q var" "<up-Chi>")
+ ;; ("math:up R var" "<up-Rho>")
+ ;; ("math:up S var" "<up-Sigma>")
+ ;; ("math:up T var" "<up-Tau>")
+ ;; ("math:up U var" "<up-Upsilon>")
+ ;; ("math:up V var" "<up-Phi>")
+ ;; ("math:up F var" "<up-Phi>")
+ ;; ("math:up W var" "<up-Omega>")
+ ;; ("math:up W var var" "<up-Mho>")
+ ;; ("math:up X var" "<up-Xi>")
+ ;; ("math:up Y var" "<up-Psi>")
+ ;; ("math:up Z var" "<up-Zeta>")
+
+ ("math:bold:up a" "<b-up-a>")
+ ("math:bold:up b" "<b-up-b>")
+ ("math:bold:up c" "<b-up-c>")
+ ("math:bold:up d" "<b-up-d>")
+ ("math:bold:up e" "<b-up-e>")
+ ("math:bold:up f" "<b-up-f>")
+ ("math:bold:up g" "<b-up-g>")
+ ("math:bold:up h" "<b-up-h>")
+ ("math:bold:up i" "<b-up-i>")
+ ("math:bold:up j" "<b-up-j>")
+ ("math:bold:up k" "<b-up-k>")
+ ("math:bold:up l" "<b-up-l>")
+ ("math:bold:up m" "<b-up-m>")
+ ("math:bold:up n" "<b-up-n>")
+ ("math:bold:up o" "<b-up-o>")
+ ("math:bold:up p" "<b-up-p>")
+ ("math:bold:up q" "<b-up-q>")
+ ("math:bold:up r" "<b-up-r>")
+ ("math:bold:up s" "<b-up-s>")
+ ("math:bold:up t" "<b-up-t>")
+ ("math:bold:up u" "<b-up-u>")
+ ("math:bold:up v" "<b-up-v>")
+ ("math:bold:up w" "<b-up-w>")
+ ("math:bold:up x" "<b-up-x>")
+ ("math:bold:up y" "<b-up-y>")
+ ("math:bold:up z" "<b-up-z>")
+ ("math:bold:up A" "<b-up-A>")
+ ("math:bold:up B" "<b-up-B>")
+ ("math:bold:up C" "<b-up-C>")
+ ("math:bold:up D" "<b-up-D>")
+ ("math:bold:up E" "<b-up-E>")
+ ("math:bold:up F" "<b-up-F>")
+ ("math:bold:up G" "<b-up-G>")
+ ("math:bold:up H" "<b-up-H>")
+ ("math:bold:up I" "<b-up-I>")
+ ("math:bold:up J" "<b-up-J>")
+ ("math:bold:up K" "<b-up-K>")
+ ("math:bold:up L" "<b-up-L>")
+ ("math:bold:up M" "<b-up-M>")
+ ("math:bold:up N" "<b-up-N>")
+ ("math:bold:up O" "<b-up-O>")
+ ("math:bold:up P" "<b-up-P>")
+ ("math:bold:up Q" "<b-up-Q>")
+ ("math:bold:up R" "<b-up-R>")
+ ("math:bold:up S" "<b-up-S>")
+ ("math:bold:up T" "<b-up-T>")
+ ("math:bold:up U" "<b-up-U>")
+ ("math:bold:up V" "<b-up-V>")
+ ("math:bold:up W" "<b-up-W>")
+ ("math:bold:up X" "<b-up-X>")
+ ("math:bold:up Y" "<b-up-Y>")
+ ("math:bold:up Z" "<b-up-Z>")
+
+ ("math:bold:up a var" "<b-up-alpha>")
+ ("math:bold:up b var" "<b-up-beta>")
+ ("math:bold:up c var" "<b-up-varsigma>")
+ ("math:bold:up c var var" "<b-up-sigma>")
+ ("math:bold:up d var" "<b-up-delta>")
+ ("math:bold:up e var" "<b-up-varepsilon>")
+ ("math:bold:up e var var" "<b-up-epsilon>")
+ ("math:bold:up g var" "<b-up-gamma>")
+ ("math:bold:up h var" "<b-up-eta>")
+ ("math:bold:up i var" "<b-up-iota>")
+ ("math:bold:up i var var" "<b-up-imath>")
+ ("math:bold:up j var" "<b-up-theta>")
+ ("math:bold:up j var var" "<b-up-jmath>")
+ ("math:bold:up j var var var" "<b-up-vartheta>")
+ ("math:bold:up k var" "<b-up-kappa>")
+ ("math:bold:up k var var" "<b-up-varkappa>")
+ ("math:bold:up l var" "<b-up-lambda>")
+ ("math:bold:up l var var" "<b-up-ell>")
+ ("math:bold:up m var" "<b-up-mu>")
+ ("math:bold:up n var" "<b-up-nu>")
+ ("math:bold:up o var" "<b-up-omicron>")
+ ("math:bold:up p var" "<b-up-pi>")
+ ("math:bold:up p var var" "<b-up-varpi>")
+ ("math:bold:up q var" "<b-up-chi>")
+ ("math:bold:up r var" "<b-up-rho>")
+ ("math:bold:up r var var" "<b-up-varrho>")
+ ("math:bold:up s var" "<b-up-sigma>")
+ ("math:bold:up s var var" "<b-up-varsigma>")
+ ("math:bold:up t var" "<b-up-tau>")
+ ("math:bold:up u var" "<b-up-upsilon>")
+ ("math:bold:up v var" "<b-up-phi>")
+ ("math:bold:up v var var" "<b-up-varphi>")
+ ("math:bold:up f var" "<b-up-varphi>")
+ ("math:bold:up f var var" "<b-up-phi>")
+ ("math:bold:up w var" "<b-up-omega>")
+ ("math:bold:up x var" "<b-up-xi>")
+ ("math:bold:up y var" "<b-up-psi>")
+ ("math:bold:up z var" "<b-up-zeta>")
+ ;; ("math:bold:up A var" "<b-up-Alpha>")
+ ;; ("math:bold:up B var" "<b-up-Beta>")
+ ;; ("math:bold:up C var" "<b-up-Sigma>")
+ ;; ("math:bold:up D var" "<b-up-Delta>")
+ ;; ("math:bold:up E var" "<b-up-Epsilon>")
+ ;; ("math:bold:up G var" "<b-up-Gamma>")
+ ;; ("math:bold:up H var" "<b-up-Eta>")
+ ;; ("math:bold:up I var" "<b-up-Iota>")
+ ;; ("math:bold:up J var" "<b-up-Theta>")
+ ;; ("math:bold:up K var" "<b-up-Kappa>")
+ ;; ("math:bold:up L var" "<b-up-Lambda>")
+ ;; ("math:bold:up M var" "<b-up-Mu>")
+ ;; ("math:bold:up N var" "<b-up-Nu>")
+ ;; ("math:bold:up O var" "<b-up-Omicron>")
+ ;; ("math:bold:up P var" "<b-up-Pi>")
+ ;; ("math:bold:up Q var" "<b-up-Chi>")
+ ;; ("math:bold:up R var" "<b-up-Rho>")
+ ;; ("math:bold:up S var" "<b-up-Sigma>")
+ ;; ("math:bold:up T var" "<b-up-Tau>")
+ ;; ("math:bold:up U var" "<b-up-Upsilon>")
+ ;; ("math:bold:up V var" "<b-up-Phi>")
+ ;; ("math:bold:up F var" "<b-up-Phi>")
+ ;; ("math:bold:up W var" "<b-up-Omega>")
+ ;; ("math:bold:up W var var" "<b-up-Mho>")
+ ;; ("math:bold:up X var" "<b-up-Xi>")
+ ;; ("math:bold:up Y var" "<b-up-Psi>")
+ ;; ("math:bold:up Z var" "<b-up-Zeta>")
+
+ ("math:cal a" "<cal-a>")
+ ("math:cal b" "<cal-b>")
+ ("math:cal c" "<cal-c>")
+ ("math:cal d" "<cal-d>")
+ ("math:cal e" "<cal-e>")
+ ("math:cal f" "<cal-f>")
+ ("math:cal g" "<cal-g>")
+ ("math:cal h" "<cal-h>")
+ ("math:cal i" "<cal-i>")
+ ("math:cal j" "<cal-j>")
+ ("math:cal k" "<cal-k>")
+ ("math:cal l" "<cal-l>")
+ ("math:cal m" "<cal-m>")
+ ("math:cal n" "<cal-n>")
+ ("math:cal o" "<cal-o>")
+ ("math:cal p" "<cal-p>")
+ ("math:cal q" "<cal-q>")
+ ("math:cal r" "<cal-r>")
+ ("math:cal s" "<cal-s>")
+ ("math:cal t" "<cal-t>")
+ ("math:cal u" "<cal-u>")
+ ("math:cal v" "<cal-v>")
+ ("math:cal w" "<cal-w>")
+ ("math:cal x" "<cal-x>")
+ ("math:cal y" "<cal-y>")
+ ("math:cal z" "<cal-z>")
+ ("math:cal A" "<cal-A>")
+ ("math:cal B" "<cal-B>")
+ ("math:cal C" "<cal-C>")
+ ("math:cal D" "<cal-D>")
+ ("math:cal E" "<cal-E>")
+ ("math:cal F" "<cal-F>")
+ ("math:cal G" "<cal-G>")
+ ("math:cal H" "<cal-H>")
+ ("math:cal I" "<cal-I>")
+ ("math:cal J" "<cal-J>")
+ ("math:cal K" "<cal-K>")
+ ("math:cal L" "<cal-L>")
+ ("math:cal M" "<cal-M>")
+ ("math:cal N" "<cal-N>")
+ ("math:cal O" "<cal-O>")
+ ("math:cal P" "<cal-P>")
+ ("math:cal Q" "<cal-Q>")
+ ("math:cal R" "<cal-R>")
+ ("math:cal S" "<cal-S>")
+ ("math:cal T" "<cal-T>")
+ ("math:cal U" "<cal-U>")
+ ("math:cal V" "<cal-V>")
+ ("math:cal W" "<cal-W>")
+ ("math:cal X" "<cal-X>")
+ ("math:cal Y" "<cal-Y>")
+ ("math:cal Z" "<cal-Z>")
+
+ ("math:calstar a" "<cal*-a>")
+ ("math:calstar b" "<cal*-b>")
+ ("math:calstar c" "<cal*-c>")
+ ("math:calstar d" "<cal*-d>")
+ ("math:calstar e" "<cal*-e>")
+ ("math:calstar f" "<cal*-f>")
+ ("math:calstar g" "<cal*-g>")
+ ("math:calstar h" "<cal*-h>")
+ ("math:calstar i" "<cal*-i>")
+ ("math:calstar j" "<cal*-j>")
+ ("math:calstar k" "<cal*-k>")
+ ("math:calstar l" "<cal*-l>")
+ ("math:calstar m" "<cal*-m>")
+ ("math:calstar n" "<cal*-n>")
+ ("math:calstar o" "<cal*-o>")
+ ("math:calstar p" "<cal*-p>")
+ ("math:calstar q" "<cal*-q>")
+ ("math:calstar r" "<cal*-r>")
+ ("math:calstar s" "<cal*-s>")
+ ("math:calstar t" "<cal*-t>")
+ ("math:calstar u" "<cal*-u>")
+ ("math:calstar v" "<cal*-v>")
+ ("math:calstar w" "<cal*-w>")
+ ("math:calstar x" "<cal*-x>")
+ ("math:calstar y" "<cal*-y>")
+ ("math:calstar z" "<cal*-z>")
+ ("math:calstar A" "<cal*-A>")
+ ("math:calstar B" "<cal*-B>")
+ ("math:calstar C" "<cal*-C>")
+ ("math:calstar D" "<cal*-D>")
+ ("math:calstar E" "<cal*-E>")
+ ("math:calstar F" "<cal*-F>")
+ ("math:calstar G" "<cal*-G>")
+ ("math:calstar H" "<cal*-H>")
+ ("math:calstar I" "<cal*-I>")
+ ("math:calstar J" "<cal*-J>")
+ ("math:calstar K" "<cal*-K>")
+ ("math:calstar L" "<cal*-L>")
+ ("math:calstar M" "<cal*-M>")
+ ("math:calstar N" "<cal*-N>")
+ ("math:calstar O" "<cal*-O>")
+ ("math:calstar P" "<cal*-P>")
+ ("math:calstar Q" "<cal*-Q>")
+ ("math:calstar R" "<cal*-R>")
+ ("math:calstar S" "<cal*-S>")
+ ("math:calstar T" "<cal*-T>")
+ ("math:calstar U" "<cal*-U>")
+ ("math:calstar V" "<cal*-V>")
+ ("math:calstar W" "<cal*-W>")
+ ("math:calstar X" "<cal*-X>")
+ ("math:calstar Y" "<cal*-Y>")
+ ("math:calstar Z" "<cal*-Z>")
+
+ ("math:bold:cal a" "<b-cal-a>")
+ ("math:bold:cal b" "<b-cal-b>")
+ ("math:bold:cal c" "<b-cal-c>")
+ ("math:bold:cal d" "<b-cal-d>")
+ ("math:bold:cal e" "<b-cal-e>")
+ ("math:bold:cal f" "<b-cal-f>")
+ ("math:bold:cal g" "<b-cal-g>")
+ ("math:bold:cal h" "<b-cal-h>")
+ ("math:bold:cal i" "<b-cal-i>")
+ ("math:bold:cal j" "<b-cal-j>")
+ ("math:bold:cal k" "<b-cal-k>")
+ ("math:bold:cal l" "<b-cal-l>")
+ ("math:bold:cal m" "<b-cal-m>")
+ ("math:bold:cal n" "<b-cal-n>")
+ ("math:bold:cal o" "<b-cal-o>")
+ ("math:bold:cal p" "<b-cal-p>")
+ ("math:bold:cal q" "<b-cal-q>")
+ ("math:bold:cal r" "<b-cal-r>")
+ ("math:bold:cal s" "<b-cal-s>")
+ ("math:bold:cal t" "<b-cal-t>")
+ ("math:bold:cal u" "<b-cal-u>")
+ ("math:bold:cal v" "<b-cal-v>")
+ ("math:bold:cal w" "<b-cal-w>")
+ ("math:bold:cal x" "<b-cal-x>")
+ ("math:bold:cal y" "<b-cal-y>")
+ ("math:bold:cal z" "<b-cal-z>")
+ ("math:bold:cal A" "<b-cal-A>")
+ ("math:bold:cal B" "<b-cal-B>")
+ ("math:bold:cal C" "<b-cal-C>")
+ ("math:bold:cal D" "<b-cal-D>")
+ ("math:bold:cal E" "<b-cal-E>")
+ ("math:bold:cal F" "<b-cal-F>")
+ ("math:bold:cal G" "<b-cal-G>")
+ ("math:bold:cal H" "<b-cal-H>")
+ ("math:bold:cal I" "<b-cal-I>")
+ ("math:bold:cal J" "<b-cal-J>")
+ ("math:bold:cal K" "<b-cal-K>")
+ ("math:bold:cal L" "<b-cal-L>")
+ ("math:bold:cal M" "<b-cal-M>")
+ ("math:bold:cal N" "<b-cal-N>")
+ ("math:bold:cal O" "<b-cal-O>")
+ ("math:bold:cal P" "<b-cal-P>")
+ ("math:bold:cal Q" "<b-cal-Q>")
+ ("math:bold:cal R" "<b-cal-R>")
+ ("math:bold:cal S" "<b-cal-S>")
+ ("math:bold:cal T" "<b-cal-T>")
+ ("math:bold:cal U" "<b-cal-U>")
+ ("math:bold:cal V" "<b-cal-V>")
+ ("math:bold:cal W" "<b-cal-W>")
+ ("math:bold:cal X" "<b-cal-X>")
+ ("math:bold:cal Y" "<b-cal-Y>")
+ ("math:bold:cal Z" "<b-cal-Z>")
+
+ ("math:frak a" "<frak-a>")
+ ("math:frak b" "<frak-b>")
+ ("math:frak c" "<frak-c>")
+ ("math:frak d" "<frak-d>")
+ ("math:frak e" "<frak-e>")
+ ("math:frak f" "<frak-f>")
+ ("math:frak g" "<frak-g>")
+ ("math:frak h" "<frak-h>")
+ ("math:frak i" "<frak-i>")
+ ("math:frak i var" "<frak-imath>")
+ ("math:frak j" "<frak-j>")
+ ("math:frak j var" "<frak-jmath>")
+ ("math:frak k" "<frak-k>")
+ ("math:frak l" "<frak-l>")
+ ("math:frak m" "<frak-m>")
+ ("math:frak n" "<frak-n>")
+ ("math:frak o" "<frak-o>")
+ ("math:frak p" "<frak-p>")
+ ("math:frak q" "<frak-q>")
+ ("math:frak r" "<frak-r>")
+ ("math:frak s" "<frak-s>")
+ ("math:frak t" "<frak-t>")
+ ("math:frak u" "<frak-u>")
+ ("math:frak v" "<frak-v>")
+ ("math:frak w" "<frak-w>")
+ ("math:frak x" "<frak-x>")
+ ("math:frak y" "<frak-y>")
+ ("math:frak z" "<frak-z>")
+ ("math:frak A" "<frak-A>")
+ ("math:frak B" "<frak-B>")
+ ("math:frak C" "<frak-C>")
+ ("math:frak D" "<frak-D>")
+ ("math:frak E" "<frak-E>")
+ ("math:frak F" "<frak-F>")
+ ("math:frak G" "<frak-G>")
+ ("math:frak H" "<frak-H>")
+ ("math:frak I" "<frak-I>")
+ ("math:frak J" "<frak-J>")
+ ("math:frak K" "<frak-K>")
+ ("math:frak L" "<frak-L>")
+ ("math:frak M" "<frak-M>")
+ ("math:frak N" "<frak-N>")
+ ("math:frak O" "<frak-O>")
+ ("math:frak P" "<frak-P>")
+ ("math:frak Q" "<frak-Q>")
+ ("math:frak R" "<frak-R>")
+ ("math:frak S" "<frak-S>")
+ ("math:frak T" "<frak-T>")
+ ("math:frak U" "<frak-U>")
+ ("math:frak V" "<frak-V>")
+ ("math:frak W" "<frak-W>")
+ ("math:frak X" "<frak-X>")
+ ("math:frak Y" "<frak-Y>")
+ ("math:frak Z" "<frak-Z>")
+
+ ("math:bbb 0" "<bbb-0>")
+ ("math:bbb 1" "<bbb-1>")
+ ("math:bbb 2" "<bbb-2>")
+ ("math:bbb 3" "<bbb-3>")
+ ("math:bbb 4" "<bbb-4>")
+ ("math:bbb 5" "<bbb-5>")
+ ("math:bbb 6" "<bbb-6>")
+ ("math:bbb 7" "<bbb-7>")
+ ("math:bbb 8" "<bbb-8>")
+ ("math:bbb 9" "<bbb-9>")
+ ("math:bbb a" "<bbb-a>")
+ ("math:bbb b" "<bbb-b>")
+ ("math:bbb c" "<bbb-c>")
+ ("math:bbb d" "<bbb-d>")
+ ("math:bbb e" "<bbb-e>")
+ ("math:bbb f" "<bbb-f>")
+ ("math:bbb g" "<bbb-g>")
+ ("math:bbb h" "<bbb-h>")
+ ("math:bbb i" "<bbb-i>")
+ ("math:bbb j" "<bbb-j>")
+ ("math:bbb k" "<bbb-k>")
+ ("math:bbb l" "<bbb-l>")
+ ("math:bbb m" "<bbb-m>")
+ ("math:bbb n" "<bbb-n>")
+ ("math:bbb o" "<bbb-o>")
+ ("math:bbb p" "<bbb-p>")
+ ("math:bbb q" "<bbb-q>")
+ ("math:bbb r" "<bbb-r>")
+ ("math:bbb s" "<bbb-s>")
+ ("math:bbb t" "<bbb-t>")
+ ("math:bbb u" "<bbb-u>")
+ ("math:bbb v" "<bbb-v>")
+ ("math:bbb w" "<bbb-w>")
+ ("math:bbb x" "<bbb-x>")
+ ("math:bbb y" "<bbb-y>")
+ ("math:bbb z" "<bbb-z>")
+ ("math:bbb A" "<bbb-A>")
+ ("math:bbb B" "<bbb-B>")
+ ("math:bbb C" "<bbb-C>")
+ ("math:bbb D" "<bbb-D>")
+ ("math:bbb E" "<bbb-E>")
+ ("math:bbb F" "<bbb-F>")
+ ("math:bbb G" "<bbb-G>")
+ ("math:bbb H" "<bbb-H>")
+ ("math:bbb I" "<bbb-I>")
+ ("math:bbb J" "<bbb-J>")
+ ("math:bbb K" "<bbb-K>")
+ ("math:bbb L" "<bbb-L>")
+ ("math:bbb M" "<bbb-M>")
+ ("math:bbb N" "<bbb-N>")
+ ("math:bbb O" "<bbb-O>")
+ ("math:bbb P" "<bbb-P>")
+ ("math:bbb Q" "<bbb-Q>")
+ ("math:bbb R" "<bbb-R>")
+ ("math:bbb S" "<bbb-S>")
+ ("math:bbb T" "<bbb-T>")
+ ("math:bbb U" "<bbb-U>")
+ ("math:bbb V" "<bbb-V>")
+ ("math:bbb W" "<bbb-W>")
+ ("math:bbb X" "<bbb-X>")
+ ("math:bbb Y" "<bbb-Y>")
+ ("math:bbb Z" "<bbb-Z>")
+) ;kbd-map
+
+(kbd-map (:mode in-math-not-hybrid?)
+ ("0 var" "<emptyset>")
+ ("0 0 var" "<Bbb-0>")
+ ("0 0 var var" "<b-0>")
+ ("1 1 var" "<Bbb-1>")
+ ("1 1 var var" "<b-1>")
+ ("1 1 var var var" "<bbb-1>")
+ ("2 2 var" "<Bbb-2>")
+ ("2 2 var var" "<b-2>")
+ ("2 2 var var var" "<bbb-2>")
+ ("3 3 var" "<Bbb-3>")
+ ("3 3 var var" "<b-3>")
+ ("4 4 var" "<Bbb-4>")
+ ("4 4 var var" "<b-4>")
+ ("5 5 var" "<Bbb-5>")
+ ("5 5 var var" "<b-5>")
+ ("6 6 var" "<Bbb-6>")
+ ("6 6 var var" "<b-6>")
+ ("7 7 var" "<Bbb-7>")
+ ("7 7 var var" "<b-7>")
+ ("8 8 var" "<Bbb-8>")
+ ("8 8 var var" "<b-8>")
+ ("9 9 var" "<Bbb-9>")
+ ("9 9 var var" "<b-9>")
+ ("A A" "<bbb-A>")
+ ("A A var" "<cal-A>")
+ ("A A var var" "<cal*-A>")
+ ("A A var var var" "<frak-A>")
+ ("A A var var var var" "<b-A>")
+ ("A A var var var var var" "<up-A>")
+ ("A A var var var var var var" "<b-up-A>")
+ ("B B" "<bbb-B>")
+ ("B B var" "<cal-B>")
+ ("B B var var" "<cal*-B>")
+ ("B B var var var" "<frak-B>")
+ ("B B var var var var" "<b-B>")
+ ("B B var var var var var" "<up-B>")
+ ("B B var var var var var var" "<b-up-B>")
+ ("C C" "<bbb-C>")
+ ("C C var" "<cal-C>")
+ ("C C var var" "<cal*-C>")
+ ("C C var var var" "<frak-C>")
+ ("C C var var var var" "<b-C>")
+ ("C C var var var var var" "<up-C>")
+ ("C C var var var var var var" "<b-up-C>")
+ ("D D" "<bbb-D>")
+ ("D D var" "<cal-D>")
+ ("D D var var" "<cal*-D>")
+ ("D D var var var" "<frak-D>")
+ ("D D var var var var" "<b-D>")
+ ("D D var var var var var" "<up-D>")
+ ("D D var var var var var var" "<b-up-D>")
+ ("E E" "<bbb-E>")
+ ("E E var" "<cal-E>")
+ ("E E var var" "<cal*-E>")
+ ("E E var var var" "<frak-E>")
+ ("E E var var var var" "<b-E>")
+ ("E E var var var var var" "<up-E>")
+ ("E E var var var var var var" "<b-up-E>")
+ ("F F" "<bbb-F>")
+ ("F F var" "<cal-F>")
+ ("F F var var" "<cal*-F>")
+ ("F F var var var" "<frak-F>")
+ ("F F var var var var" "<b-F>")
+ ("F F var var var var var" "<up-F>")
+ ("F F var var var var var var" "<b-up-F>")
+ ("G G" "<bbb-G>")
+ ("G G var" "<cal-G>")
+ ("G G var var" "<cal*-G>")
+ ("G G var var var" "<frak-G>")
+ ("G G var var var var" "<b-G>")
+ ("G G var var var var var" "<up-G>")
+ ("G G var var var var var var" "<b-up-G>")
+ ("H H" "<bbb-H>")
+ ("H H var" "<cal-H>")
+ ("H H var var" "<cal*-H>")
+ ("H H var var var" "<frak-H>")
+ ("H H var var var var" "<b-H>")
+ ("H H var var var var var" "<up-H>")
+ ("H H var var var var var var" "<b-up-H>")
+ ("I I" "<bbb-I>")
+ ("I I var var" "<cal-I>")
+ ("I I var var var" "<cal*-I>")
+ ("I I var var var var" "<frak-I>")
+ ("I I var var var var var" "<b-I>")
+ ("I I var var var var var var" "<up-I>")
+ ("I I var var var var var var var" "<b-up-I>")
+ ("J J" "<bbb-J>")
+ ("J J var" "<cal-J>")
+ ("J J var var" "<cal*-J>")
+ ("J J var var var" "<frak-J>")
+ ("J J var var var var" "<b-J>")
+ ("J J var var var var var" "<up-J>")
+ ("J J var var var var var var" "<b-up-J>")
+ ("K K" "<bbb-K>")
+ ("K K var" "<cal-K>")
+ ("K K var var" "<cal*-K>")
+ ("K K var var var" "<frak-K>")
+ ("K K var var var var" "<b-K>")
+ ("K K var var var var var" "<up-K>")
+ ("K K var var var var var var" "<b-up-K>")
+ ("L L" "<bbb-L>")
+ ("L L var" "<cal-L>")
+ ("L L var var" "<cal*-L>")
+ ("L L var var var" "<frak-L>")
+ ("L L var var var var" "<b-L>")
+ ("L L var var var var var" "<up-L>")
+ ("L L var var var var var var" "<b-up-L>")
+ ("M M" "<bbb-M>")
+ ("M M var" "<cal-M>")
+ ("M M var var" "<cal*-M>")
+ ("M M var var var" "<frak-M>")
+ ("M M var var var var" "<b-M>")
+ ("M M var var var var var" "<up-M>")
+ ("M M var var var var var var" "<b-up-M>")
+ ("N N" "<bbb-N>")
+ ("N N var" "<cal-N>")
+ ("N N var var" "<cal*-N>")
+ ("N N var var var" "<frak-N>")
+ ("N N var var var var" "<b-N>")
+ ("N N var var var var var" "<up-N>")
+ ("N N var var var var var var" "<b-up-N>")
+ ("O O" "<bbb-O>")
+ ("O O var" "<cal-O>")
+ ("O O var var" "<cal*-O>")
+ ("O O var var var" "<frak-O>")
+ ("O O var var var var" "<b-O>")
+ ("O O var var var var var" "<up-O>")
+ ("O O var var var var var var" "<b-up-O>")
+ ("P P" "<bbb-P>")
+ ("P P var" "<cal-P>")
+ ("P P var var" "<cal*-P>")
+ ("P P var var var" "<frak-P>")
+ ("P P var var var var" "<b-P>")
+ ("P P var var var var var" "<up-P>")
+ ("P P var var var var var var" "<b-up-P>")
+ ("Q Q" "<bbb-Q>")
+ ("Q Q var" "<cal-Q>")
+ ("Q Q var var" "<cal*-Q>")
+ ("Q Q var var var" "<frak-Q>")
+ ("Q Q var var var var" "<b-Q>")
+ ("Q Q var var var var var" "<up-Q>")
+ ("Q Q var var var var var var" "<b-up-Q>")
+ ("R R" "<bbb-R>")
+ ("R R var" "<cal-R>")
+ ("R R var var" "<cal*-R>")
+ ("R R var var var" "<frak-R>")
+ ("R R var var var var" "<b-R>")
+ ("R R var var var var var" "<up-R>")
+ ("R R var var var var var var" "<b-up-R>")
+ ("S S" "<bbb-S>")
+ ("S S var" "<cal-S>")
+ ("S S var var" "<cal*-S>")
+ ("S S var var var" "<frak-S>")
+ ("S S var var var var" "<b-S>")
+ ("S S var var var var var" "<up-S>")
+ ("S S var var var var var var" "<b-up-S>")
+ ("T T" "<bbb-T>")
+ ("T T var" "<cal-T>")
+ ("T T var var" "<cal*-T>")
+ ("T T var var var" "<frak-T>")
+ ("T T var var var var" "<b-T>")
+ ("T T var var var var var" "<up-T>")
+ ("T T var var var var var var" "<b-up-T>")
+ ("U U" "<bbb-U>")
+ ("U U var" "<cal-U>")
+ ("U U var var" "<cal*-U>")
+ ("U U var var var" "<frak-U>")
+ ("U U var var var var" "<b-U>")
+ ("U U var var var var var" "<up-U>")
+ ("U U var var var var var var" "<b-up-U>")
+ ("V V" "<bbb-V>")
+ ("V V var" "<cal-V>")
+ ("V V var var" "<cal*-V>")
+ ("V V var var var" "<frak-V>")
+ ("V V var var var var" "<b-V>")
+ ("V V var var var var var" "<up-V>")
+ ("V V var var var var var var" "<b-up-V>")
+ ("W W" "<bbb-W>")
+ ("W W var" "<cal-W>")
+ ("W W var var" "<cal*-W>")
+ ("W W var var var" "<frak-W>")
+ ("W W var var var var" "<b-W>")
+ ("W W var var var var var" "<up-W>")
+ ("W W var var var var var var" "<b-up-W>")
+ ("X X" "<bbb-X>")
+ ("X X var" "<cal-X>")
+ ("X X var var" "<cal*-X>")
+ ("X X var var var" "<frak-X>")
+ ("X X var var var var" "<b-X>")
+ ("X X var var var var var" "<up-X>")
+ ("X X var var var var var var" "<b-up-X>")
+ ("Y Y" "<bbb-Y>")
+ ("Y Y var" "<cal-Y>")
+ ("Y Y var var" "<cal*-Y>")
+ ("Y Y var var var" "<frak-Y>")
+ ("Y Y var var var var" "<b-Y>")
+ ("Y Y var var var var var" "<up-Y>")
+ ("Y Y var var var var var var" "<b-up-Y>")
+ ("Z Z" "<bbb-Z>")
+ ("Z Z var" "<cal-Z>")
+ ("Z Z var var" "<cal*-Z>")
+ ("Z Z var var var" "<frak-Z>")
+ ("Z Z var var var var" "<b-Z>")
+ ("Z Z var var var var var" "<up-Z>")
+ ("Z Z var var var var var var" "<b-up-Z>")
+
+ ("a a" "<bbb-a>")
+ ("a a var" "<frak-a>")
+ ("a a var var" "<b-a>")
+ ("a a var var var" "<up-a>")
+ ("a a var var var var" "<b-up-a>")
+ ("b b" "<bbb-b>")
+ ("b b var" "<frak-b>")
+ ("b b var var" "<b-b>")
+ ("b b var var var" "<up-b>")
+ ("b b var var var var" "<b-up-b>")
+ ("c c" "<bbb-c>")
+ ("c c var" "<frak-c>")
+ ("c c var var" "<b-c>")
+ ("c c var var var" "<up-c>")
+ ("c c var var var var" "<b-up-c>")
+ ("d d" "<bbb-d>")
+ ("d d var" "<frak-d>")
+ ("d d var var" "<b-d>")
+ ("d d var var var" "<up-d>")
+ ("d d var var var var" "<b-up-d>")
+ ("e e" "<bbb-e>")
+ ("e e var" "<frak-e>")
+ ("e e var var" "<b-e>")
+ ("e e var var var" "<up-e>")
+ ("e e var var var var" "<b-up-e>")
+ ("f f" "<bbb-f>")
+ ("f f var" "<frak-f>")
+ ("f f var var" "<b-f>")
+ ("f f var var var" "<up-f>")
+ ("f f var var var var" "<b-up-f>")
+ ("g g" "<bbb-g>")
+ ("g g var" "<frak-g>")
+ ("g g var var" "<b-g>")
+ ("g g var var var" "<up-g>")
+ ("g g var var var var" "<b-up-g>")
+ ("h h" "<bbb-h>")
+ ("h h var" "<frak-h>")
+ ("h h var var" "<b-h>")
+ ("h h var var var" "<up-h>")
+ ("h h var var var var" "<b-up-h>")
+ ("i i" "<bbb-i>")
+ ("i i var" "<frak-i>")
+ ("i i var var" "<b-i>")
+ ("i i var var var" "<up-i>")
+ ("i i var var var var" "<b-up-i>")
+ ("j j" "<bbb-j>")
+ ("j j var" "<frak-j>")
+ ("j j var var" "<b-j>")
+ ("j j var var var" "<up-j>")
+ ("j j var var var var" "<b-up-j>")
+ ("k k" "<bbb-k>")
+ ("k k var" "<frak-k>")
+ ("k k var var" "<b-k>")
+ ("k k var var var" "<up-k>")
+ ("k k var var var var" "<b-up-k>")
+ ("l l" "<bbb-l>")
+ ("l l var" "<frak-l>")
+ ("l l var var" "<b-l>")
+ ("l l var var var" "<up-l>")
+ ("l l var var var var" "<b-up-l>")
+ ("m m var" "<bbb-m>")
+ ("m m var var" "<frak-m>")
+ ("m m var var var" "<b-m>")
+ ("m m var var var var" "<up-m>")
+ ("m m var var var var var" "<b-up-m>")
+ ("n n" "<bbb-n>")
+ ("n n var" "<frak-n>")
+ ("n n var var" "<b-n>")
+ ("n n var var var" "<up-n>")
+ ("n n var var var var" "<b-up-n>")
+ ("o o" "<bbb-o>")
+ ("o o var" "<frak-o>")
+ ("o o var var" "<b-o>")
+ ("o o var var var" "<up-o>")
+ ("o o var var var var" "<b-up-o>")
+ ("p p" "<bbb-p>")
+ ("p p var" "<frak-p>")
+ ("p p var var" "<b-p>")
+ ("p p var var var" "<up-p>")
+ ("p p var var var var" "<b-up-p>")
+ ("q q" "<bbb-q>")
+ ("q q var" "<frak-q>")
+ ("q q var var" "<b-q>")
+ ("q q var var var" "<up-q>")
+ ("q q var var var var" "<b-up-q>")
+ ("r r" "<bbb-r>")
+ ("r r var" "<frak-r>")
+ ("r r var var" "<b-r>")
+ ("r r var var var" "<up-r>")
+ ("r r var var var var" "<b-up-r>")
+ ("s s" "<bbb-s>")
+ ("s s var" "<frak-s>")
+ ("s s var var" "<b-s>")
+ ("s s var var var" "<up-s>")
+ ("s s var var var var" "<b-up-s>")
+ ("t t" "<bbb-t>")
+ ("t t var" "<frak-t>")
+ ("t t var var" "<b-t>")
+ ("t t var var var" "<up-t>")
+ ("t t var var var var" "<b-up-t>")
+ ("u u" "<bbb-u>")
+ ("u u var" "<frak-u>")
+ ("u u var var" "<b-u>")
+ ("u u var var var" "<up-u>")
+ ("u u var var var var" "<b-up-u>")
+ ("v v" "<bbb-v>")
+ ("v v var" "<frak-v>")
+ ("v v var var" "<b-v>")
+ ("v v var var var" "<up-v>")
+ ("v v var var var var" "<b-up-v>")
+ ("w w" "<bbb-w>")
+ ("w w var" "<frak-w>")
+ ("w w var var" "<b-w>")
+ ("w w var var var" "<up-w>")
+ ("w w var var var var" "<b-up-w>")
+ ("x x" "<bbb-x>")
+ ("x x var" "<frak-x>")
+ ("x x var var" "<b-x>")
+ ("x x var var var" "<up-x>")
+ ("x x var var var var" "<b-up-x>")
+ ("y y" "<bbb-y>")
+ ("y y var" "<frak-y>")
+ ("y y var var" "<b-y>")
+ ("y y var var var" "<up-y>")
+ ("y y var var var var" "<b-up-y>")
+ ("z z" "<bbb-z>")
+ ("z z var" "<frak-z>")
+ ("z z var var" "<b-z>")
+ ("z z var var var" "<up-z>")
+ ("z z var var var var" "<b-up-z>")
+
+ ;; ("d d" "<mathd>")
+ ;; ("d d var" "<partial>")
+ ;; ("e e" "<mathe>")
+ ;; ("g g" "<matheuler>")
+ ;; ("i i" "<mathi>")
+ ;; ("l l" "<mathlambda>")
+ ;; ("p p" "<mathpi>")
+ ("R E" "<Re>")
+ ("I M" "<Im>")
+ ("d x" "<mathd>x")
+ ("d x var" "<mathd><xi>")
+ ("d x var var" "dx")
+ ("d y" "<mathd>y")
+ ("d y var" "<mathd><psi>")
+ ("d y var var" "dy")
+ ("d z" "<mathd>z")
+ ("d z var" "<mathd><zeta>")
+ ("d z var var" "dz")
+ ("d r" "<mathd>r")
+ ("d r var" "<mathd><rho>")
+ ("d r var var" "<mathd><varrho>")
+ ("d r var var var" "dr")
+ ("d j" "<mathd>j")
+ ("d j var" "<mathd><theta>")
+ ("d j var var" "<mathd><jmath>")
+ ("d j var var var" "<mathd><vartheta>")
+ ("d j var var var var" "dj")
+ ("d u" "<mathd>u")
+ ("d u var" "<mathd><upsilon>")
+ ("d u var var" "du")
+ ("d v" "<mathd>v")
+ ("d v var" "<mathd><phi>")
+ ("d v var var" "<mathd><varphi>")
+ ("d v var var var" "dv")
+ ("d w" "<mathd>w")
+ ("d w var" "<mathd><omega>")
+ ("d w var var" "<mathd><mho>")
+ ("d w var var var" "dw")
+) ;kbd-map
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Textual operators
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(kbd-map
-  (:mode in-math-english?)
-  ;;("a n d" (make 'infix-and))
-  ;;("a n d space" (make 'infix-and))
+(kbd-map (:mode in-math-english?)
+  ;; ("a n d" (make 'infix-and))
+  ;; ("a n d space" (make 'infix-and))
   ("space a" " a")
   ("space a var" (begin (kbd-space) (insert "<alpha>")))
   ("space a n" " an")
   ("space a n d" (make 'infix-and))
   ("space a n d space" (make 'infix-and))
-  ;;("a n d var" "and")
-  ;;("o r" (make 'infix-or))
-  ;;("o r space" (make 'infix-or))
+  ;; ("a n d var" "and")
+  ;; ("o r" (make 'infix-or))
+  ;; ("o r space" (make 'infix-or))
   ("space o" " o")
   ("space o var" (begin (kbd-space) (insert "<omicron>")))
   ("space o r" (make 'infix-or))
   ("space o r space" (make 'infix-or))
-  ;;("o r var" "or")
-  ;;("o r d" "ord")
-  ;;("i f f" (make 'infix-iff))
-  ;;("i f f space" (make 'infix-iff))
+  ;; ("o r var" "or")
+  ;; ("o r d" "ord")
+  ;; ("i f f" (make 'infix-iff))
+  ;; ("i f f space" (make 'infix-iff))
   ("space i" " i")
   ("space i var" (begin (kbd-space) (insert "<iota>")))
   ("space i var var" (begin (kbd-space) (insert "<mathi>")))
@@ -2932,15 +2953,15 @@
   ("space i f" " if")
   ("space i f f" (make 'infix-iff))
   ("space i f f space" (make 'infix-iff))
-  ;;("i f f var" "iff")
+  ;; ("i f f var" "iff")
   ("f o r space" "for ")
   ("f o r space a l l" (make 'prefix-for-all))
-  ("f o r space a l l space" (make 'prefix-for-all)))
+  ("f o r space a l l space" (make 'prefix-for-all))
+) ;kbd-map
 
-(kbd-map
-  (:mode in-math-dutch?)
-  ;;("e n" (make 'infix-and))
-  ;;("e n space" (make 'infix-and))
+(kbd-map (:mode in-math-dutch?)
+  ;; ("e n" (make 'infix-and))
+  ;; ("e n space" (make 'infix-and))
   ("space e" " e")
   ("space e var" (begin (kbd-space) (insert "<varepsilon>")))
   ("space e var var" (begin (kbd-space) (insert "<mathe>")))
@@ -2948,16 +2969,16 @@
   ("space e var var var var" (begin (kbd-space) (insert "<backepsilon>")))
   ("space e n" (make 'infix-and))
   ("space e n space" (make 'infix-and))
-  ;;("e n var" "en")
-  ;;("o f" (make 'infix-or))
-  ;;("o f space" (make 'infix-or))
+  ;; ("e n var" "en")
+  ;; ("o f" (make 'infix-or))
+  ;; ("o f space" (make 'infix-or))
   ("space o" " o")
   ("space o var" (begin (kbd-space) (insert "<omicron>")))
   ("space o f" (make 'infix-or))
   ("space o f space" (make 'infix-or))
-  ;;("o f var" "of")
-  ;;("d e s d a" (make 'infix-iff))
-  ;;("d e s d a space" (make 'infix-iff))
+  ;; ("o f var" "of")
+  ;; ("d e s d a" (make 'infix-iff))
+  ;; ("d e s d a space" (make 'infix-iff))
   ("space d" " d")
   ("space d var" (begin (kbd-space) (insert "<delta>")))
   ("space d var var" (begin (kbd-space) (insert "<mathd>")))
@@ -2967,15 +2988,15 @@
   ("space d e s d" " desd")
   ("space d e s d a" (make 'infix-iff))
   ("space d e s d a space" (make 'infix-iff))
-  ;;("d e s d a var" "desda")
+  ;; ("d e s d a var" "desda")
   ("v o o r space" "voor ")
   ("v o o r space a l l e" (make 'prefix-for-all))
-  ("v o o r space a l l e space" (make 'prefix-for-all)))
+  ("v o o r space a l l e space" (make 'prefix-for-all))
+) ;kbd-map
 
-(kbd-map
-  (:mode in-math-french?)
-  ;;("e t" (make 'infix-and))
-  ;;("e t space" (make 'infix-and))
+(kbd-map (:mode in-math-french?)
+  ;; ("e t" (make 'infix-and))
+  ;; ("e t space" (make 'infix-and))
   ("space e" " e")
   ("space e var" (begin (kbd-space) (insert "<varepsilon>")))
   ("space e var var" (begin (kbd-space) (insert "<mathe>")))
@@ -2983,74 +3004,75 @@
   ("space e var var var var" (begin (kbd-space) (insert "<backepsilon>")))
   ("space e t" (make 'infix-and))
   ("space e t space" (make 'infix-and))
-  ;;("e t var" "et")
-  ;;("o u" (make 'infix-or))
-  ;;("o u space" (make 'infix-or))
+  ;; ("e t var" "et")
+  ;; ("o u" (make 'infix-or))
+  ;; ("o u space" (make 'infix-or))
   ("space o" " o")
   ("space o var" (begin (kbd-space) (insert "<omicron>")))
   ("space o u" (make 'infix-or))
   ("space o u space" (make 'infix-or))
-  ;;("o u var" "ou")
-  ;;("s s i" (make 'infix-iff))
-  ;;("s s i space" (make 'infix-iff))
+  ;; ("o u var" "ou")
+  ;; ("s s i" (make 'infix-iff))
+  ;; ("s s i space" (make 'infix-iff))
   ("space s" " s")
   ("space s var" (begin (kbd-space) (insert "<sigma>")))
   ("space s var var" (begin (kbd-space) (insert "<varsigma>")))
   ("space s s" " ss")
   ("space s s i" (make 'infix-iff))
   ("space s s i space" (make 'infix-iff))
-  ;;("s s i var" "ssi")
+  ;; ("s s i var" "ssi")
   ("p o u r space" "pour ")
   ("p o u r space t o u t" (make 'prefix-for-all))
-  ("p o u r space t o u t space" (make 'prefix-for-all)))
+  ("p o u r space t o u t space" (make 'prefix-for-all))
+) ;kbd-map
 
-(kbd-map
-  (:mode in-math-german?)
-  ;;("u n d" (make 'infix-and))
-  ;;("u n d space" (make 'infix-and))
+(kbd-map (:mode in-math-german?)
+  ;; ("u n d" (make 'infix-and))
+  ;; ("u n d space" (make 'infix-and))
   ("space u" " u")
   ("space u var" (begin (kbd-space) (insert "<upsilon>")))
   ("space u n" " un")
   ("space u n d" (make 'infix-and))
   ("space u n d space" (make 'infix-and))
-  ;;("u n d var" "und")
-  ;;("o d e r" (make 'infix-or))
-  ;;("o d e r space" (make 'infix-or))
+  ;; ("u n d var" "und")
+  ;; ("o d e r" (make 'infix-or))
+  ;; ("o d e r space" (make 'infix-or))
   ("space o" " o")
   ("space o var" (begin (kbd-space) (insert "<omicron>")))
   ("space o d" " od")
   ("space o d e" " ode")
   ("space o d e r" (make 'infix-or))
   ("space o d e r space" (make 'infix-or))
-  ;;("o d e r var" "oder")
-  ;;("g d w" (make 'infix-iff))
-  ;;("g d w space" (make 'infix-iff))
+  ;; ("o d e r var" "oder")
+  ;; ("g d w" (make 'infix-iff))
+  ;; ("g d w space" (make 'infix-iff))
   ("space g" " g")
   ("space g var" (begin (kbd-space) (insert "<gamma>")))
   ("space g var var" (begin (kbd-space) (insert "<matheuler>")))
   ("space g d" " gd")
   ("space g d w" (make 'infix-iff))
   ("space g d w space" (make 'infix-iff))
-  ;;("g d w var" "gdw")
+  ;; ("g d w var" "gdw")
   ("f u r space" "fur ")
   ("f u r space a l l e" (make 'prefix-for-all))
   ("f u r space a l l e space" (make 'prefix-for-all))
   ("f u e r space" "fuer ")
   ("f u e r space a l l e" (make 'prefix-for-all))
-  ("f u e r space a l l e space" (make 'prefix-for-all)))
+  ("f u e r space a l l e space" (make 'prefix-for-all))
+) ;kbd-map
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Special toggles
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(kbd-map
-  (:require (inside? 'equation*))
-  ("C-&" (equation->eqnarray (tree-innermost 'equation*))))
+(kbd-map (:require (inside? 'equation*))
+ ("C-&" (equation->eqnarray (tree-innermost 'equation*)))
+) ;kbd-map
 
-(kbd-map
-  (:require (inside? 'equation))
-  ("C-&" (equation->eqnarray (tree-innermost 'equation))))
+(kbd-map (:require (inside? 'equation))
+ ("C-&" (equation->eqnarray (tree-innermost 'equation)))
+) ;kbd-map
 
-(kbd-map
-  (:require (inside? 'eqnarray*))
-  ("C-&" (eqnarray->equation (tree-innermost 'eqnarray*))))
+(kbd-map (:require (inside? 'eqnarray*))
+ ("C-&" (eqnarray->equation (tree-innermost 'eqnarray*)))
+) ;kbd-map
diff --git a/TeXmacs/tests/0616.scm b/TeXmacs/tests/0616.scm
index 52dce6d432..50a232ba9e 100644
--- a/TeXmacs/tests/0616.scm
+++ b/TeXmacs/tests/0616.scm
@@ -16,45 +16,79 @@
 
 (check-set-mode! 'report-failed)
 
-(define (stree-has-spaced-differential? t)
-  ;; Check for pattern: "d" followed by " " followed by x/y/z/r/<rho>/<theta> etc.
-  (define (check-list lst)
+(define (collect-spaced-differentials t)
+  (define (collect-list lst)
     (if (or (null? lst) (null? (cdr lst)) (null? (cddr lst)))
-        #f
-        (let ((a (car lst))
-              (b (cadr lst))
-              (c (caddr lst)))
-          (if (and (string? a) (string=? a "d")
-                   (string? b) (string=? b " ")
-                   (string? c)
-                   (or (string=? c "x") (string=? c "y") (string=? c "z") (string=? c "r")
-                       (string=? c "<rho>") (string=? c "<varrho>")
-                       (string=? c "<theta>") (string=? c "<vartheta>")))
-              #t
-              (check-list (cdr lst))))))
-  (define (check-children lst)
+      '()
+      (let ((a (car lst)) (b (cadr lst)) (c (caddr lst)))
+        (if (and (string? a) (string=? a "d") (string? b) (string=? b " ") (string? c))
+          (cons c (collect-list (cddr lst)))
+          (collect-list (cdr lst))
+        ) ;if
+      ) ;let
+    ) ;if
+  ) ;define
+  (define (collect-children lst)
     (if (null? lst)
-        #f
-        (or (stree-has-spaced-differential? (car lst))
-            (check-children (cdr lst)))))
-  (cond ((not (pair? t)) #f)
+      '()
+      (append (collect-spaced-differentials (car lst)) (collect-children (cdr lst)))
+    ) ;if
+  ) ;define
+  (cond ((not (pair? t)) '())
         ((eq? (car t) 'concat)
-         (or (check-list (cdr t))
-             (check-children (cdr t))))
-        (else (check-children (cdr t)))))
+         (append (collect-list (cdr t)) (collect-children (cdr t)))
+        ) ;
+        (else (collect-children (cdr t)))
+  ) ;cond
+) ;define
+
+(define (stree-has-all-spaced-differentials? t)
+  (let ((collected (collect-spaced-differentials t))
+        (expected '("x"
+                    "y"
+                    "z"
+                    "r"
+                    "<rho>"
+                    "<varrho>"
+                    "<theta>"
+                    "<vartheta>"
+                    "u"
+                    "v"
+                    "w"
+                    "<upsilon>"
+                    "<phi>"
+                    "<varphi>"
+                    "<omega>")
+        ) ;expected
+       ) ;
+    (define (all-expected? lst)
+      (if (null? lst) #t (and (member (car lst) collected) (all-expected? (cdr lst))))
+    ) ;define
+    (display* "Collected spaced differentials: " collected "\n")
+    (all-expected? expected)
+  ) ;let
+) ;define
 
 (define (load-latex path)
-  (with path (string-append "$TEXMACS_PATH/tests/tex/" path)
-    (string-replace (string-load path) "\r\n" "\n")))
+  (with path
+    (string-append "$TEXMACS_PATH/tests/tex/" path)
+    (string-replace (string-load path) "\r\n" "\n")
+  ) ;with
+) ;define
 
 (define (test-latex-document-differentials)
-  (display "Testing space insertion for differentials in LaTeX document import...\n")
+  (display "Testing space insertion for differentials in LaTeX document import...\n"
+  ) ;display
   (let* ((latex-content (load-latex "0616_differential_test.tex"))
          (texmacs-tree (latex-document->texmacs latex-content))
-         (st (tree->stree texmacs-tree)))
-    (display* "LaTeX Document converted tree TMU: " (serialize-tmu texmacs-tree) "\n")
-    (check (stree-has-spaced-differential? st) => #t)))
+         (st (tree->stree texmacs-tree))
+        ) ;
+    (display* "LaTeX Document converted tree TMU: "
+      (serialize-tmu texmacs-tree)
+      "\n"
+    ) ;display*
+    (check (stree-has-all-spaced-differentials? st) => #t)
+  ) ;let*
+) ;define
 
-(tm-define (test_0616)
-  (test-latex-document-differentials)
-  (check-report))
+(tm-define (test_0616) (test-latex-document-differentials) (check-report))
diff --git a/TeXmacs/tests/tex/0616_differential_test.tex b/TeXmacs/tests/tex/0616_differential_test.tex
index 3d84e30988..cd879d5d71 100644
--- a/TeXmacs/tests/tex/0616_differential_test.tex
+++ b/TeXmacs/tests/tex/0616_differential_test.tex
@@ -11,4 +11,12 @@
 
 Greek variants: $d\varrho + d\vartheta$.
 
+Additional tests for u, v, w differentials:
+
+\( du + dv = dw \)
+
+Inline math: $u du$ and $\cos v dv$ and $w dw$.
+
+Greek variants of u, v, w: $d\upsilon + d\phi + d\varphi + d\omega$.
+
 \end{document}