let load_predefined_virtuals () =
List.iter
- (fun a,b,c ->
+ (fun (a,b,c) ->
Virtuals.add_virtual a (Glib.Utf8.first_char b) c)
predefined_virtuals
;;
let predefined_classes = [
+ ["@"; "@"; ];
["*"; "∗"; ];
["/"; "⧸"; ];
["&"; "⅋"; ];
["?"; "¿"; "⸮"; ];
[":"; "⁝"; ];
["."; "•"; "◦"; ];
- ["#"; "♯"; "⋕"; "⧣"; "⧤"; "⌘"; ];
+ ["#"; "â\99¯"; "â\8b\95"; "⧣"; "⧤"; "â\99®"; "â\8c\98"; ];
["+"; "⨭"; "⨮"; "⨁"; "⊕"; "⊞"; ];
["-"; "÷"; "⊢"; "⊩"; "⧟"; "⊟"; ];
["="; "≝"; "≡"; "≘"; "⊜"; "≗"; "≐"; "≑"; "≛"; "≚"; "≙"; "⌆"; "⧦"; "≋"; "⩳"; "≅"; "⩬"; "≂"; "≃"; "≈"; ];
- ["→"; "⥲"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
+ ["→"; "⥲"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "🠢"; "⤳"; ] ;
["⇒"; "⤇"; "➾"; "⇨"; "⬀"; "➡"; "⬈"; "➤"; "➸"; "⇉"; "⥰"; ] ;
- ["^"; "↑"; "⇡"; "↥"; "▵"; ] ;
+ ["^"; "↑"; "⇡"; "↥"; "🠡"; "▵"; ] ;
["⇑"; "⇧"; "⬆"; ] ;
["⇓"; "⇩"; "⬂"; "⬇"; "⬊"; "➷"; ] ;
["⇕"; "⇳"; "⬍"; "↕"; ];
["{"; "❴"; "⦃" ] ;
["}"; "❵"; "⦄" ] ;
["□"; "◽"; "▪"; "◾"; ];
- ["◊"; "⬦"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ;
+ ["â\97\8a"; "⬦"; "â\99¢"; "â\97\86"; "⧫"; "â\99¦"; "â\9f\90"; "â\9f "; ] ;
[">"; "⭃"; "⧁"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; "⊃"; "⊐"; ] ;
["≥"; "⪀"; "≽"; "⪴"; "⥸"; "⊒"; ];
["∨"; "⩖"; "∪"; "∩"; "⋓"; "⋒" ] ;