From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Sun, 21 Aug 2022 22:44:42 +0000 (+0200)
Subject: addition to predefined virtuals
X-Git-Tag: make_still_working~42
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=6e4f8f6dc7ab7cdc0d9d852f6786947d3c4513cc

addition to predefined virtuals

+ one character added
---

diff --git a/matita/matita/predefined_virtuals.ml b/matita/matita/predefined_virtuals.ml
index 88f58f4ea..d59492489 100644
--- a/matita/matita/predefined_virtuals.ml
+++ b/matita/matita/predefined_virtuals.ml
@@ -1512,7 +1512,7 @@ let predefined_classes = [
  ["?"; "¿"; "⸮"; ];
  [":"; "⁝"; ];
  ["."; "•"; "◦"; ];
- ["#"; "♯"; "⋕"; "⧣"; "⧤"; "⌘"; ];
+ ["#"; "♯"; "⋕"; "⧣"; "⧤"; "♮"; "⌘"; ];
  ["+"; "⨭"; "⨮"; "⨁"; "⊕"; "⊞"; ];
  ["-"; "÷"; "⊢"; "⊩"; "⧟"; "⊟"; ];
  ["="; "≝"; "≡"; "≘"; "⊜"; "≗"; "≐"; "≑"; "≛"; "≚"; "≙"; "⌆"; "⧦"; "≋"; "⩳"; "≅"; "⩬"; "≂"; "≃"; "≈"; ];