在阅读了几篇论文后，我开始思考哪种箭用于什么目的。箭（一般来说）有两种：短箭\Leftrightarrow和长箭\Longleftrightarrow。
我感觉定义用的比较长，逻辑表达式用的比较短。有什么规定或惯例吗？
哪些箭应该用来做什么？
相关内容
- 无法从 Windows 10 笔记本电脑更改 Active Directory 用户帐户
- 虚拟声卡在 Windows Server 2008 R2 SP1 x64 虚拟机上不起作用
- 进一步阅读
- Windows 的 php_memcache dll - 我在哪里可以找到它？
- 配置无人值守升级通知电子邮件的发件人地址
- 为什么匿名用户不能通过ftp删除文件？
- 从 Kemp Loadmaster 提取密钥和证书？
- 为什么用户登录 Windows 时总是看起来像第一次登录
- 是否可以通过远程桌面会话共享 Eclipse
- 如何停止 Ubuntu 32 位 Precise Linode VPS 上的失控磁盘使用？