non associative with precedence 45
for @{ 'eq $t $a $b }.
-notation > "hvbox(n break (≅ \sub p) m)"
+notation > "hvbox(n break (≅ \sub term 90 p) m)"
non associative with precedence 45
for @{ 'congruent $n $m $p }.
notation "hvbox(\Omega \sup term 90 A)" non associative with precedence 70
for @{ 'powerset $A }.
+notation > "hvbox(\Omega ^ term 90 A)" non associative with precedence 70
+for @{ 'powerset $A }.
notation < "hvbox({ ident i | term 19 p })" with precedence 90
for @{ 'subset (\lambda ${ident i} : $nonexistent . $p)}.