{\displaystyle \implies x}