Comment by aleph_minus_one

> I think a simpler most straightforward notation that incorporates precedence would be better.

For example YACC provides a way to specify how a shift/reduce conflict

> https://www.gnu.org/software/bison/manual/html_node/Shift_00...

and a reduce/reduce conflict

> https://www.gnu.org/software/bison/manual/html_node/Reduce_0...

should be resolved; see also

> https://www.gnu.org/software/bison/manual/html_node/Mysterio...

This is actually a way to specify operator precedence in a much simpler and more straightforward way than via nested recursive expressions.