updated web site

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

diff --git a/matita/matita/contribs/formal_topology/formal_topology2.ma b/matita/matita/contribs/formal_topology/formal_topology2.ma
index 0896edc5ce9f572dbea7e55897e89e8d94ad462d..d236efed83776dc4fcd910bdbc9482de1145428f 100644 (file)
--- 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)).