From 1f1ea7bb9e6c34626bcabd4c0142fcde98bcbbe5 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 28 Oct 2012 14:39:27 +0000 Subject: [PATCH] an addition ... --- matita/matita/predefined_virtuals.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml index b51681d92..4d86409b7 100644 --- a/matita/matita/predefined_virtuals.ml +++ b/matita/matita/predefined_virtuals.ml @@ -1524,8 +1524,8 @@ let predefined_classes = [ ["}"; "❵"; "⦄" ] ; ["□"; "◽"; "▪"; "◾"; ]; ["◊"; "♢"; "⧫"; "♦"; "⟐"; "⟠"; ] ; - [">"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; ] ; - ["≥"; "≽"; ]; + [">"; "⭃"; "〉"; "»"; "❭"; "❯"; "❱"; "▸"; "►"; "▶"; ] ; + ["≥"; "≽"; "⥸"; ]; ["a"; "α"; "𝕒"; "𝐚"; "𝛂"; "ⓐ"; ] ; ["A"; "ℵ"; "𝔸"; "𝐀"; "Ⓐ"; ] ; ["b"; "β"; "ß"; "𝕓"; "𝐛"; "𝛃"; "ⓑ"; ] ; -- 2.39.2