X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fcontent_pres%2FcicNotationPres.ml;fp=matitaB%2Fcomponents%2Fcontent_pres%2FcicNotationPres.ml;h=30847816982ceb501d202ffb5152b846b7cb5a6e;hb=6f020d79dea92003151e5e588fd73452f20ffb2c;hp=563af0b065454388fc7b88421c16f966ed148e22;hpb=4ba652d65269628faf6c81269276c7f9f2c8e60a;p=helm.git

diff --git a/matitaB/components/content_pres/cicNotationPres.ml b/matitaB/components/content_pres/cicNotationPres.ml
index 563af0b06..308478169 100644
--- a/matitaB/components/content_pres/cicNotationPres.ml
+++ b/matitaB/components/content_pres/cicNotationPres.ml
@@ -161,8 +161,8 @@ let render status ?(prec=(-1)) =
     | A.Sup (A.Layout (A.Sub (t1,t2)), t3)
     | A.Sup (A.AttributedTerm (_,A.Layout (A.Sub (t1,t2))), t3)
       -> assert false
-    | A.Sub (t1, t2) -> assert false
-    | A.Sup (t1, t2) -> assert false
+    | A.Sub (t1, t2) -> Box.H ([],[aux prec t1;Box.Text ([],"_");aux prec t2])
+    | A.Sup (t1, t2) -> Box.H ([],[aux prec t1;Box.Text ([],"^");aux prec t2])
     | A.Below (t1, t2) -> assert false 
     | A.Above (t1, t2) -> assert false
     | A.Frac (t1, t2)
@@ -179,7 +179,7 @@ let render status ?(prec=(-1)) =
     | A.Maction alternatives -> 
          toggle_action (List.map invoke_reinit alternatives)
     | A.Group terms -> assert false 
-    | A.Break -> assert false 
+    | A.Break -> Box.Space [] 
   in
   aux prec