X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Flib%2Fbasics%2Fcore_notation%2Fsubseteq_2.ma;h=09c6300412390a7913ede4ce90d890a81511d093;hb=HEAD;hp=bbfe6f52731929c00932c640727eac78c7e77e15;hpb=bf816f05ddbe0ded4948dd33490619724dc4f7cf;p=helm.git

diff --git a/matita/matita/lib/basics/core_notation/subseteq_2.ma b/matita/matita/lib/basics/core_notation/subseteq_2.ma
index bbfe6f527..09c630041 100644
--- a/matita/matita/lib/basics/core_notation/subseteq_2.ma
+++ b/matita/matita/lib/basics/core_notation/subseteq_2.ma
@@ -11,5 +11,6 @@
 
 (* Core notation *******************************************************)
 
-notation "hvbox(a break ⊆ b)" non associative with precedence 45
-for @{ 'subseteq $a $b }. (* \subseteq *)
+notation "hvbox( a ⊆ break term 46 b )"
+ non associative with precedence 45
+ for @{ 'subseteq $a $b }. (* \subseteq *)