infix notation for wedge and smash