(" || " infix)