-notation > "Ω ^ A" non associative with precedence 50 for @{'P $A}.
-notation "Ω \sup A" non associative with precedence 50 for @{'P $A}.
+notation > "Ω ^ A" non associative with precedence 55 for @{'P $A}.
+notation "Ω \sup A" non associative with precedence 55 for @{'P $A}.