diff options
Diffstat (limited to 'hol-light/hol-light-unicode-tokens.el')
| -rw-r--r-- | hol-light/hol-light-unicode-tokens.el | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/hol-light/hol-light-unicode-tokens.el b/hol-light/hol-light-unicode-tokens.el index e6e3671d..df32e4bd 100644 --- a/hol-light/hol-light-unicode-tokens.el +++ b/hol-light/hol-light-unicode-tokens.el @@ -69,10 +69,10 @@ ;; logic ("forall" "∀") ("exists" "∃") - (":num" ":ℕ" type) ;; ? - (":complex" ":ℂ" type) - (":real" ":ℝ" type) - (":int" ":ℤ" type) + ("num" "ℕ" type) ;; ? + ("complex" "ℂ" type) + ("real" "ℝ" type) + ("int" "ℤ" type) ("rat" "ℚ" type) ("bool" "B" underline type) ("false" "false" bold sans) |