Complete rules for infix operators