(* STANDARD PRECEDENCE ******************************************************)
(* Note: standard precedence relation on paths: p ≺ q
(* STANDARD PRECEDENCE ******************************************************)
(* Note: standard precedence relation on paths: p ≺ q