doc for infix functions of Gen