a{!=}{==}b{=}{!=}c