update in delayed updating

[helm.git] / matita / matita / lib / basics / core_notation / subseteq_2.ma

diff --git a/matita/matita/lib/basics/core_notation/subseteq_2.ma b/matita/matita/lib/basics/core_notation/subseteq_2.ma
index bbfe6f52731929c00932c640727eac78c7e77e15..09c6300412390a7913ede4ce90d890a81511d093 100644 (file)
--- 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 *)