[ Número ] = [ Número ]

☞ x ≔ 8 = 8.
☞ y ≔ 8 = 9.
✎ escribir: x, stop.
✎ escribir: y, stop.
Cierto
Falso