Properly translate (==>)