- | pc E1 E2 ⇒ (.|E1| · .|E2|)
- | po E1 E2 ⇒ (.|E1| + .|E2|)
- | pk E ⇒ .|E|^* ].
-notation < ".|term 19 e|" non associative with precedence 90 for @{'forget $e}.
+ | pc E1 E2 ⇒ (|E1| · |E2|)
+ | po E1 E2 ⇒ (|E1| + |E2|)
+ | pk E ⇒ |E|^* ].
+notation < ".|term 19 e|" non associative with precedence 70 for @{'forget $e}.