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
;;
["?"; "¿"; "⸮"; ];
[":"; "⁝"; ];
["."; "•"; "◦"; ];
- ["#"; "♯"; "⋕"; "⧣"; "⧤"; "⌘"; ];
+ ["#"; "â\99¯"; "â\8b\95"; "⧣"; "⧤"; "â\99®"; "â\8c\98"; ];
["+"; "⨭"; "⨮"; "⨁"; "⊕"; "⊞"; ];
["-"; "÷"; "⊢"; "⊩"; "⧟"; "⊟"; ];
["="; "≝"; "≡"; "≘"; "⊜"; "≗"; "≐"; "≑"; "≛"; "≚"; "≙"; "⌆"; "⧦"; "≋"; "⩳"; "≅"; "⩬"; "≂"; "≃"; "≈"; ];
- ["→"; "⥲"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
+ ["→"; "⥲"; "↦"; "⇝"; "⤞"; "⇾"; "⤍"; "⤏"; "🠢"; "⤳"; ] ;
["⇒"; "⤇"; "➾"; "⇨"; "⬀"; "➡"; "⬈"; "➤"; "➸"; "⇉"; "⥰"; ] ;
- ["^"; "↑"; "⇡"; "↥"; "▵"; ] ;
+ ["^"; "↑"; "⇡"; "↥"; "🠡"; "▵"; ] ;
["⇑"; "⇧"; "⬆"; ] ;
["⇓"; "⇩"; "⬂"; "⬇"; "⬊"; "➷"; ] ;
["⇕"; "⇳"; "⬍"; "↕"; ];