符号“$\Leftrightarrow$”表示
符号“$\Leftrightarrow$”表示“等价于”，即可以互相推出
