clarify user infix precedence note