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?

Just curious.

Found this example where start and end symbols are terminals:

```
Notation "( x , y )" := (@pair _ _ x y).
```

Default notation level is `0`

.

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: Jun 15 2024 at 08:01 UTC