Add some subscript Unicode characters (+, -, =) to emacs bindings

HOL-Theorem-Prover · Nov 2, 2018 · b97e7e9 · b97e7e9
1 parent 1c953ff
commit b97e7e9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/tools/hol-unicode.el b/tools/hol-unicode.el
@@ -116,6 +116,9 @@
 (define-key hol-unicode-subscript-map "u" "ᵤ")
 (define-key hol-unicode-subscript-map "v" "ᵥ")
 (define-key hol-unicode-subscript-map "x" "ₓ")
+(define-key hol-unicode-subscript-map "+" "₊")
+(define-key hol-unicode-subscript-map "=" "₌")
+(define-key hol-unicode-subscript-map "-" "₋")
 
 (define-key hol-unicode-superscript-map "1"
   (lambda () (interactive) (insert "¹")))