- notation (possibly affecting all .ma files):

[helm.git] / matita / matita / contribs / POPLmark / Fsub / adeq.ma

diff --git a/matita/matita/contribs/POPLmark/Fsub/adeq.ma b/matita/matita/contribs/POPLmark/Fsub/adeq.ma
index 2a0f730abdc5b307c4675601ab1ad3e9f93452cf..bd1c407162f5d6584655c570fc1856fa58b2acb6 100644 (file)
--- a/matita/matita/contribs/POPLmark/Fsub/adeq.ma
+++ b/matita/matita/contribs/POPLmark/Fsub/adeq.ma
@@ -144,7 +144,7 @@ interpretation "Fsub names to LN env encoding" 'encode G = (encodeenv G).
 notation < "| T |" with precedence 25 for @{'abs $T}.
 interpretation "Fsub named type length" 'abs T = (nt_len T).
 interpretation "list length" 'abs l = (length ? l).
-notation < "〈a,b〉 · T" with precedence 60 for @{'swap $a $b $T}.
+notation < "〈a,b〉 · T" with precedence 65 for @{'swap $a $b $T}.
 interpretation "natural swap" 'swap a b n = (swap a b n).
 interpretation "Fsub name swap in a named type" 'swap a b T = (swap_NTyp a b T).
 interpretation "Fsub name swap in a LN type" 'swap a b T = (swap_Typ a b T).