;;
let predefined_classes = [
+ ["-"; "÷"; "⊢"; ];
+ ["="; "≃"; "≈"; "≝"; "≡"; "≅"; "≐"; "≑"; ];
["→"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
["⇒"; "➾"; "⇨"; "➡"; "⇉"; "⥤"; "⥰"; ] ;
["⇑"; "⇧"; "⬆"; ] ;
["⇓"; "⇩"; "⬇"; ] ;
- ["⇔"; "⬄"; "⬌"; ] ;
+ ["â\86\94"; "â\87\94"; "â¬\84"; "â¬\8c"; ] ;
["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; ];
["_" ; "⎽"; "⎼"; "⎻"; "⎺"; ];
["<"; "≺"; "≮"; "⊀"; "〈"; "«"; "❬"; "❮"; "❰"; ] ;