X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fpredefined_virtuals.ml;h=4d86409b70147f19adb3aa42e3cc93c25c7952d6;hb=1f1ea7bb9e6c34626bcabd4c0142fcde98bcbbe5;hp=0fd1dcd3228a6fc8e63c7dfaa601db4d61012435;hpb=ea83c19f4cac864dd87eb059d8aeb2343eba480f;p=helm.git diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml index 0fd1dcd32..4d86409b7 100644 --- a/matita/matita/predefined_virtuals.ml +++ b/matita/matita/predefined_virtuals.ml @@ -1506,12 +1506,12 @@ let predefined_classes = [ [":"; "⁝"; ]; ["."; "•"; "◦"; ]; ["#"; "⌘"; ]; - ["-"; "÷"; "⊢"; ]; + ["-"; "÷"; "⊢"; "⊩"; ]; ["="; "≃"; "≈"; "≝"; "≡"; "≅"; "≐"; "≑"; ]; ["→"; "⇝"; "⇾"; "⤍"; "⤏"; "⤳"; ] ; - ["⇒"; "➾"; "⇨"; "➡"; "⇉"; "⥤"; "⥰"; ] ; + ["⇒"; "➾"; "⇨"; "➡"; "➸"; "⇉"; "⥤"; "⥰"; ] ; ["⇑"; "⇧"; "⬆"; ] ; - ["⇓"; "⇩"; "⬇"; ] ; + ["⇓"; "⇩"; "⬇"; "⬊"; "➷"; ] ; ["↔"; "⇔"; "⬄"; "⬌"; ] ; ["≤"; "≲"; "≼"; "≰"; "≴"; "⋠"; ]; ["_" ; "⎽"; "⎼"; "⎻"; "⎺"; ]; @@ -1524,8 +1524,8 @@ let predefined_classes = [ ["}"; "❵"; "⦄" ] ; ["□"; "◽"; "▪"; "◾"; ]; ["◊"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ; - [">"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; ] ; - ["≥"; "≽"; ]; + [">"; "⭃"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; ] ; + ["≥"; "≽"; "⥸"; ]; ["a"; "α"; "𝕒"; "𝐚"; "𝛂"; "ⓐ"; ] ; ["A"; "ℵ"; "𝔸"; "𝐀"; "Ⓐ"; ] ; ["b"; "β"; "ß"; "𝕓"; "𝐛"; "𝛃"; "ⓑ"; ] ; @@ -1579,15 +1579,15 @@ let predefined_classes = [ ["z"; "ζ"; "𝕫"; "𝐳"; "𝛇"; "ⓩ"; ] ; ["Z"; "ℨ"; "ℤ"; "𝐙"; "Ⓩ"; ] ; ["0"; "𝟘"; "⓪"; ] ; - ["1"; "𝟙"; "①"; ] ; - ["2"; "𝟚"; "②"; ] ; - ["3"; "𝟛"; "③"; ] ; - ["4"; "𝟜"; "④"; ] ; - ["5"; "𝟝"; "⑤"; ] ; - ["6"; "𝟞"; "⑥"; ] ; - ["7"; "𝟟"; "⑦"; ] ; - ["8"; "𝟠"; "⑧"; ] ; - ["9"; "𝟡"; "⑨"; ] ; + ["1"; "𝟙"; "①"; "⓵"; ] ; + ["2"; "𝟚"; "②"; "⓶"; ] ; + ["3"; "𝟛"; "③"; "⓷"; ] ; + ["4"; "𝟜"; "④"; "⓸"; ] ; + ["5"; "𝟝"; "⑤"; "⓹"; ] ; + ["6"; "𝟞"; "⑥"; "⓺"; ] ; + ["7"; "𝟟"; "⑦"; "⓻"; ] ; + ["8"; "𝟠"; "⑧"; "⓼"; ] ; + ["9"; "𝟡"; "⑨"; "⓽"; ] ; ] ;;