X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fpredefined_virtuals.ml;h=01b18e46932c7c4249d865bd49db6e11bd07194e;hb=970430a378f27d4e5cc2a45dc2fa3d79bc9bf088;hp=fb446d53785b264b5d584ae1307e833c779695b9;hpb=aaea113f4b36f8c825032a9d1517fe80d0f3fbbf;p=helm.git

diff --git a/helm/software/matita/predefined_virtuals.ml b/helm/software/matita/predefined_virtuals.ml
index fb446d537..01b18e469 100644
--- a/helm/software/matita/predefined_virtuals.ml
+++ b/helm/software/matita/predefined_virtuals.ml
@@ -174,6 +174,7 @@ let predefined_virtuals = [
  ["\\UnderParenthesis"                               ], "︶", [symbol];
  ["\\OverBrace"                                      ], "︷", [symbol];
  ["\\UnderBrace"                                     ], "︸", [symbol];
+ ["\\Yang"                                           ], "⚊", [symbol];
 (* }}} *)
 
 (* {{{ fraction *)