["\\smile" ], "⌣", [symbol];
["\\blank" ], "␣", [symbol];
["\\HorizontalLine" ], "─", [symbol];
- ["\\loz"; "\\lozenge" ], "◊", [symbol];
+ ["\\loz"; "\\lozenge";"<>" ], "◊", [symbol];
["\\starf"; "\\bigstar" ], "★", [symbol];
["\\phone" ], "☎", [symbol];
["\\female" ], "♀", [symbol];
["\\NotNestedLessLess" ], "⒡̸", [circle];
["\\NotNestedGreaterGreater" ], "⒢̸", [circle];
["\\oS"; "\\circledS" ], "Ⓢ", [circle];
- ["\\cir" ], "○", [circle];
+ ["\\cir";"()" ], "○", [circle];
["\\xcirc"; "\\bigcirc" ], "◯", [circle];
(* }}} *)
["\\sdotb"; "\\dotsquare" ], "⊡", [square];
["\\uhblk" ], "▀", [square];
["\\lhblk" ], "▄", [square];
- ["\\squ"; "\\square"; "\\Square" ], "□", [square];
+ ["\\squ"; "\\square"; "\\Square";"[]" ], "□", [square];
["\\squf"; "\\squarf"; "\\blacksquare" ], "▪", [square];
["\\rect" ], "▭", [square];
["\\marker" ], "▮", [square];
;;
let predefined_classes = [
- [ "→"; "⇉"; "⇒"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; "⥤"; "⥰"; ] ;
- [ "≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; ];
- [ "_" ; "⎽"; "⎼"; "⎻"; "⎺"; ];
- [ "<"; "≺"; "≮"; "⊀"; ] ;
+ ["→"; "⇉"; "⇒"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; "⥤"; "⥰"; ] ;
+ ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; ];
+ ["_" ; "⎽"; "⎼"; "⎻"; "⎺"; ];
+ ["<"; "≺"; "≮"; "⊀"; ] ;
+ ["□"; "◽"; "▪"; "◾"; ];
+ ["○"; "∘"; "ø"; ] ;
+ ["◊"; "♢"; "⧫"; "♦"; ];
["a"; "α"; "𝕒"; ] ;
["A"; "ℵ"; "𝔸"; ] ;
["b"; "β"; "ß"; "𝕓"; ] ;
["M"; "ℳ"; "𝕄"; ] ;
["n"; "𝕟"; ] ;
["N"; "ℕ"; "№"; ] ;
- ["o"; "θ"; "ϑ"; "𝕠"; "ø"; "∘"; ] ;
+ ["o"; "θ"; "ϑ"; "𝕠"; ];
["O"; "Θ"; "𝕆"; ] ;
["p"; "π"; "𝕡"; ] ;
["P"; "Π"; "℘"; "ℙ"; ] ;