;;
let predefined_classes = [
- ["!"; "¡"; ];
+ ["!"; "¡"; "⫯"; "⫰"; ];
["?"; "¿"; "⸮"; ];
[":"; "⁝"; ];
["."; "•"; "◦"; ];
["#"; "♯"; "⋕"; "⌘"; ];
["-"; "÷"; "⊢"; "⊩"; ];
- ["="; "≃"; "≈"; "≝"; "≡"; "≅"; "≐"; "≑"; ];
+ ["="; "≃"; "≈"; "≝"; "≡"; "≅"; "≐"; "≑"; "≚"; "≙"; "⌆"; ];
["→"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
["⇒"; "⤇"; "➾"; "⇨"; "➡"; "➤"; "➸"; "⇉"; "⥰"; ] ;
["^"; "↑"; ] ;
["5"; "𝟝"; "⑤"; "⓹"; ] ;
["6"; "𝟞"; "⑥"; "⓺"; ] ;
["7"; "𝟟"; "⑦"; "⓻"; ] ;
- ["8"; "𝟠"; "⑧"; "⓼"; ] ;
+ ["8"; "𝟠"; "⑧"; "⓼"; "∞"; ] ;
["9"; "𝟡"; "⑨"; "⓽"; ] ;
]
;;