support many more Unicode infix operators