- notation (possibly affecting all .ma files):

[helm.git] / matita / matita / contribs / formal_topology / bin / old / formal_topology.ma

diff --git a/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma b/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma
index e84c0242ee8dd58a4225f9f8c10c27b2b924b73c..6c4ff9d0cde0c3674c7d047da4ea5d73ead053ff 100644 (file)
--- a/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma
+++ b/matita/matita/contribs/formal_topology/bin/old/formal_topology.ma
@@ -19,7 +19,7 @@ axiom S: Type.
 
 axiom leq: S → S → Prop.
 
-notation "hvbox(A break ⊆ B)" with precedence 59
+notation "hvbox(A break ⊆ B)" with precedence 64
 for @{ 'subseteq $A $B}.
 
 interpretation "Subseteq" 'subseteq A B = (leq A B).