Improve binary operator printer