("|" infix)