comment about \So infix operators