X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fnuprl_stylesheets%2Fnuprl_html_arith.xsl;h=74cec306adad68356ae5b803ac8144d27058b562;hb=18c6848695fbfa97508e0981f6875a6459429a58;hp=995a23c75a4e5305902a9dd1520e00a34cd54e32;hpb=734a6fc5d8da4896c646d1dd7a17afaf0dd33224;p=helm.git
diff --git a/helm/nuprl_stylesheets/nuprl_html_arith.xsl b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
index 995a23c75..74cec306a 100644
--- a/helm/nuprl_stylesheets/nuprl_html_arith.xsl
+++ b/helm/nuprl_stylesheets/nuprl_html_arith.xsl
@@ -22,56 +22,56 @@
- £
- ≤
+ £
+ ≤
???
- <
- <
+ <
+ <
???
- ³
- ≥
+ ³
+ ≥
???
- >
- >
+ >
+ >
???
- +
- +
+ +
+ +
???
- -
- -
+ -
+ -
???
- *
- ∗
+ *
+ ∗
???