latex 属于_如何用LaTeX打出"因为"-∵、"所以"∴？

学习平面几何的时候我们经常用到这样的简写符号：因为∵、所以 ∴。这里的“所以”∴符号是由一位名叫Johann Rahn的数学家首次使用的。这种符号简洁明了，十分适合需要大量使用“因为”、“所以”的证明过程。在latex中它们是如何打出来的呢？

其实在latex中这两个符号对应的关键词非常简单直白，因为∵就是because, 所以 ∴ 就是therefore。

实际上，这两个符号都被称为逻辑运符号，它们常与集合符号一起被介绍

所谓"逻辑符号"，就是一切与逻辑文（包括逻辑谓词）相关的符号。除了上述的内容之外，我们常说的存在、否定等也都属于这一类符号。这些符号都是直接用对应的英文简写打出，因此只需要简单熟悉一下对应记号的英文说法就行了。

注意到我们微积分里常用的“对任意”、“存在”这些词在latex中也是可以直接打出的，那么我们可以尝试一下完整打出极限的精确定义。

在latex中，“任意的”是forall，存在是"exists"、"exist"。这个"存在”符号很有意思，它是可以“符合英文语法的”~

---

更多有趣内容关注：

这个水印一定会越来越深的~