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