let predefined_classes = [
["-"; "÷"; "⊢"; ];
- ["="; "≈"; "≝"; "≡"; "≅"; "≐"; "≑"; ];
+ ["="; "â\89\83"; "â\89\88"; "â\89\9d"; "â\89¡"; "â\89\85"; "â\89\90"; "â\89\91"; ];
["→"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; ] ;
["⇒"; "➾"; "⇨"; "➡"; "⇉"; "⥤"; "⥰"; ] ;
["⇑"; "⇧"; "⬆"; ] ;