Remove the '<->' operator from the language