infix @/:/. syntax