X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fformal_topology%2Fformal_topology.ma;h=b22bc7fe32532d2f79f6516463a50b967ce97f01;hb=5b93ea047903b606979705ed25a6df6504fd027c;hp=34a521f35f3d05e2a85295b51706596b0803e91c;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/formal_topology/formal_topology.ma b/matita/matita/contribs/formal_topology/formal_topology.ma
index 34a521f35..b22bc7fe3 100644
--- 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).