(":" infix)