Note that ``x'' indicates that the indicated subtree must have, as its root, an operator of lower precedence than that of the root.
The ``y'' indicates that the root of the subtree may have the same precedence as the operator that is the root of the tree.
The ``f'' indicates the operator itself.