X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlextension.xsl;h=d0c8555b39ac48df5c4a91c1469350ffcff0dfdb;hb=53ae76208da0cf33862c64e60b76a441e1d78863;hp=6572c0556c3f93890248c12c0fe70365fbbefaaf;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git
diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 6572c0556..d0c8555b3 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -411,7 +411,7 @@ which generates the toplevel element (see for instance xlink) -->
-
+
@@ -737,8 +737,8 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
@@ -751,10 +751,10 @@ which generates the toplevel element (see for instance xlink) -->
_
-
+
⇒
-
+
@@ -765,7 +765,7 @@ which generates the toplevel element (see for instance xlink) -->
|_
⇒
-
+
@@ -787,15 +787,15 @@ which generates the toplevel element (see for instance xlink) -->
_
OF
-
+
|
-
+
⇒
-
+
_
END
@@ -988,8 +988,12 @@ which generates the toplevel element (see for instance xlink) -->
-
-
+
+
+
@@ -1026,7 +1030,9 @@ which generates the toplevel element (see for instance xlink) -->
_
- (hide details)
+
+ (hide details)
+
@@ -1520,6 +1526,131 @@ which generates the toplevel element (see for instance xlink) -->
+
+
+
+
+
+
+
+ [
+
+
+
+
+ ←
+
+ ]
+
+
+
+
+
+
+
+ ↑
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+ ↑
+
+
+
+
+ (
+
+ )
+
+
+
+
+
+
+
+
+
+ →
+ β
+
+
+
+
+
+
+
+
+
+
+ →
+ β
+ *
+
+
+
+
+
+
+
+
+
+
+ ⇒
+ β
+
+
+
+
+
+
+
+
+
+
+ ⇒
+ β
+ *
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ ≅
+
+
+
+
+
+
+
+
+
+
+
+
ERROR
@@ -1587,7 +1718,12 @@ which generates the toplevel element (see for instance xlink) -->
-
+
+
+
+
+
+
@@ -1634,7 +1770,7 @@ which generates the toplevel element (see for instance xlink) -->
-
+
@@ -1652,7 +1788,12 @@ which generates the toplevel element (see for instance xlink) -->
__
- =
+
+
+
+
+
+ =
@@ -1727,7 +1868,7 @@ which generates the toplevel element (see for instance xlink) -->
-
+
@@ -1745,7 +1886,12 @@ which generates the toplevel element (see for instance xlink) -->
__
-
+
+
+
+
+
+
@@ -1769,7 +1915,12 @@ which generates the toplevel element (see for instance xlink) -->
- ∅
+
+
+
+
+
+ ∅
@@ -1783,7 +1934,12 @@ which generates the toplevel element (see for instance xlink) -->
- {
+
+
+
+
+
+ {
@@ -1800,7 +1956,12 @@ which generates the toplevel element (see for instance xlink) -->
- }
+
+
+
+
+
+ }
@@ -1811,7 +1972,12 @@ which generates the toplevel element (see for instance xlink) -->
- {
+
+
+
+
+
+ {
,
@@ -1835,7 +2001,12 @@ which generates the toplevel element (see for instance xlink) -->
- }
+
+
+
+
+
+ }
@@ -1862,11 +2033,6 @@ which generates the toplevel element (see for instance xlink) -->
-
-
-
-
-