notation > "hvbox(a break = b)"
non associative with precedence 45
for @{ 'eq ? $a $b }.
-notation < "hvbox(a break maction (=) (=\sub t) b)"
+notation < "hvbox(term 46 a break maction (=) (=\sub t) term 46 b)"
non associative with precedence 45
for @{ 'eq $t $a $b }.