{\displaystyle \Leftarrow }