fix infix:sym<,>