we should be using the long name infix:<$op> instead