X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Fformal_topology%2Fformal_topology2.ma;h=d236efed83776dc4fcd910bdbc9482de1145428f;hb=74a8604e5d2d3ec2dc7e67b1e257812ce340da29;hp=0896edc5ce9f572dbea7e55897e89e8d94ad462d;hpb=2c01ff6094173915e7023076ea48b5804dca7778;p=helm.git

diff --git a/matita/matita/contribs/formal_topology/formal_topology2.ma b/matita/matita/contribs/formal_topology/formal_topology2.ma
index 0896edc5c..d236efed8 100644
--- a/matita/matita/contribs/formal_topology/formal_topology2.ma
+++ b/matita/matita/contribs/formal_topology/formal_topology2.ma
@@ -35,7 +35,7 @@ axiom one_right: ∀A:S. A 1 = A.
 axiom eps: S.
 axiom eps_idempotent: eps = eps eps.
 
-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 = (eq ? A (comp eps B)).