infix and (>>>>) = (>>>)