Stop using the '<->' operator
Remove the '<->' operator from the language