No igualdad entre usuarios

[Cardioo]

Para indicar la negación de que x = y, o sea que x es diferente de y, basta con tachar la igualdad?

[tdsilva1]

El predicado binario "≠" no está definido en el enunciado, entonces no. Pero puedes usar la negación lógica para indicar lo que dices, como ¬(x=y).