I was reading about precedence levels in notations.
There it's mentioned that:
the precedence level is mandatory (except for special cases whose level is canonical)
What are the special cases with canonical levels?
Found this example where start and end symbols are terminals:
Notation "( x , y )" := (@pair _ _ x y).
Default notation level is
Manual says notation level of the sub-expression itself is 200. Does that mean the
x, y part of the
@par _ _ x y part?
Last updated: Oct 03 2023 at 20:01 UTC