(* GROUND NOTATION **********************************************************)
notation < "hvbox( ⓔ )"
- non associative with precedence 75
+ non associative with precedence 70
for @{ 'CircledElementE $S }.
notation > "hvbox( ⓔ )"
- non associative with precedence 75
+ non associative with precedence 70
for @{ 'CircledElementE ? }.
-notation > "hvbox( ⓔ{ term 46 C } )"
- non associative with precedence 75
+notation > "hvbox( ⓔ{ term 46 S } )"
+ non associative with precedence 70
for @{ 'CircledElementE $S }.