Вы ввели
x⇒(y⇒x)
x⇒(y⇒x)
$$x \Rightarrow \left(y \Rightarrow x\right)$$
$$x \Rightarrow \left(y \Rightarrow x\right)$$