符号“$\Leftrightarrow$”表示

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