;;
let predefined_classes = [
+ ["&"; "⅋"; ];
+ ["!"; "¡"; "⫯"; "⫰"; ];
+ ["?"; "¿"; "⸮"; ];
[":"; "⁝"; ];
["."; "•"; "◦"; ];
- ["#"; "⌘"; ];
+ ["#"; "â\99¯"; "â\8b\95"; "⧤"; "â\8c\98"; ];
["-"; "÷"; "⊢"; "⊩"; ];
- ["="; "â\89\83"; "â\89\88"; "â\89\9d"; "â\89¡"; "â\89\85"; "â\89\90"; "â\89\91"; ];
- ["→"; "↦"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
- ["⇒"; "⤇"; "➾"; "⇨"; "➡"; "➸"; "⇉"; "⥰"; ] ;
+ ["="; "â\89\9d"; "â\8a\9c"; "â\89¡"; "â\89\83"; "â\89\88"; "â\89\85"; "â\89\90"; "â\89\91"; "â\89\9a"; "â\89\99"; "â\8c\86"; ];
+ ["â\86\92"; "â\86¦"; "â\87\9d"; "â¤\9e"; "â\87¾"; "â¤\8d"; "â¤\8f"; "⤳"; ] ;
+ ["â\87\92"; "â¤\87"; "â\9e¾"; "â\87¨"; "â\9e¡"; "â\9e¤"; "â\9e¸"; "â\87\89"; "⥰"; ] ;
["^"; "↑"; ] ;
["⇑"; "⇧"; "⬆"; ] ;
["⇓"; "⇩"; "⬇"; "⬊"; "➷"; ] ;
["↔"; "⇔"; "⬄"; "⬌"; ] ;
- ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; ];
+ ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; "⊑"; ];
["_"; "↓"; "↙"; "⎽"; "⎼"; "⎻"; "⎺"; ];
["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;
["("; "❨"; "❪"; "❲"; "("; ];
["□"; "◽"; "▪"; "◾"; ];
["◊"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
[">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; ] ;
- ["â\89¥"; "â\89½"; "⥸"; ];
+ ["â\89¥"; "âª\80"; "â\89½"; "⪴"; "⥸"; "â\8a\92"; ];
["a"; "α"; "𝕒"; "𝐚"; "𝛂"; "ⓐ"; ] ;
["A"; "ℵ"; "𝔸"; "𝐀"; "Ⓐ"; ] ;
["b"; "β"; "ß"; "𝕓"; "𝐛"; "𝛃"; "ⓑ"; ] ;
["5"; "𝟝"; "⑤"; "⓹"; ] ;
["6"; "𝟞"; "⑥"; "⓺"; ] ;
["7"; "𝟟"; "⑦"; "⓻"; ] ;
- ["8"; "𝟠"; "⑧"; "⓼"; ] ;
+ ["8"; "𝟠"; "⑧"; "⓼"; "∞"; ] ;
["9"; "𝟡"; "⑨"; "⓽"; ] ;
]
;;