![082cb4642ffcfd6060756f2e5a5a2b85.png](https://img-blog.csdnimg.cn/img_convert/082cb4642ffcfd6060756f2e5a5a2b85.png)
学习平面几何的时候我们经常用到这样的简写符号:因为∵、所以 ∴。这里的“所以”∴符号是由一位名叫Johann Rahn的数学家首次使用的。这种符号简洁明了,十分适合需要大量使用“因为”、“所以”的证明过程。在latex中它们是如何打出来的呢?
![7a66c0a687bad20d53c6dd36eddebee7.png](https://img-blog.csdnimg.cn/img_convert/7a66c0a687bad20d53c6dd36eddebee7.png)
其实在latex中这两个符号对应的关键词非常简单直白,因为∵就是because, 所以 ∴ 就是therefore。
![781b6e99e4b16058fde7dcb39f6423c2.gif](https://img-blog.csdnimg.cn/img_convert/781b6e99e4b16058fde7dcb39f6423c2.gif)
实际上,这两个符号都被称为逻辑运符号,它们常与集合符号一起被介绍
![5b6986b26f98f6c39fbfea9e5d9ab12e.png](https://img-blog.csdnimg.cn/img_convert/5b6986b26f98f6c39fbfea9e5d9ab12e.png)
所谓"逻辑符号",就是一切与逻辑文(包括逻辑谓词)相关的符号。除了上述的内容之外,我们常说的存在、否定等也都属于这一类符号。这些符号都是直接用对应的英文简写打出,因此只需要简单熟悉一下对应记号的英文说法就行了。
![84b74c22c1c39e3e4f94d112d47d2ee2.gif](https://img-blog.csdnimg.cn/img_convert/84b74c22c1c39e3e4f94d112d47d2ee2.gif)
注意到我们微积分里常用的“对任意”、“存在”这些词在latex中也是可以直接打出的,那么我们可以尝试一下完整打出极限的精确定义。
![0ef7d914d91cf071040abff374b4a5e8.png](https://img-blog.csdnimg.cn/img_convert/0ef7d914d91cf071040abff374b4a5e8.png)
在latex中,“任意的”是forall,存在是"exists"、"exist"。这个"存在”符号很有意思,它是可以“符合英文语法的”~
![961e1e418c5a02facac8e12c4db8db54.gif](https://img-blog.csdnimg.cn/img_convert/961e1e418c5a02facac8e12c4db8db54.gif)
更多有趣内容关注:
![225040f9cb35ed9605dcb4dd8a763abe.png](https://img-blog.csdnimg.cn/img_convert/225040f9cb35ed9605dcb4dd8a763abe.png)