Slight opt for infix:<xx> (more code esthetics)