update in basic_2

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

diff --git a/matita/matita/contribs/formal_topology/formal_topology.ma b/matita/matita/contribs/formal_topology/formal_topology.ma
index 34a521f35f3d05e2a85295b51706596b0803e91c..b22bc7fe32532d2f79f6516463a50b967ce97f01 100644 (file)
--- a/matita/matita/contribs/formal_topology/formal_topology.ma
+++ b/matita/matita/contribs/formal_topology/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).