X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground%2Fnotation%2Frelations%2Fpredicate_omega_1.ma;h=c4b3458f9a97100a3a7370491cbf7471ff42a14c;hb=ab63ef8e3b4029307eea9646b099c04a1d499653;hp=26a957a662c59dd95bfe2f8e48d3b984fcbdfce3;hpb=55c768d7e45babb300b5010463ba3196a68f1bbe;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_omega_1.ma b/matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_omega_1.ma
index 26a957a66..c4b3458f9 100644
--- a/matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_omega_1.ma
+++ b/matita/matita/contribs/lambdadelta/ground/notation/relations/predicate_omega_1.ma
@@ -14,6 +14,6 @@
 
 (* GROUND NOTATION **********************************************************)
 
-notation "hvbox( 𝛀❪ term 46 f ❫ )"
+notation "hvbox( 𝛀❨ term 46 f ❩ )"
   non associative with precedence 45
   for @{ 'PredicateOmega $f }.