for @{ 'iff $a $b }.
-notation "hvbox(\Omega \sup term 90 A)" non associative with precedence 70
+notation "hvbox(\Omega \sup term 90 A)" non associative with precedence 90
for @{ 'powerset $A }.
-notation > "hvbox(\Omega ^ term 90 A)" non associative with precedence 70
+notation > "hvbox(\Omega ^ term 90 A)" non associative with precedence 90
for @{ 'powerset $A }.
notation < "hvbox({ ident i | term 19 p })" with precedence 90