☰

哪些箭应该用来做什么？

tag-icon • tag-icon symbols typography logic
哪些箭应该用来做什么？

在阅读了几篇论文后，我开始思考哪种箭用于什么目的。箭（一般来说）有两种：短箭\Leftrightarrow和长箭\Longleftrightarrow。

我感觉定义用的比较长，逻辑表达式用的比较短。有什么规定或惯例吗？

相关内容