
箭头是数学中常用的一类符号。latex中箭头的编码其实都非常简单,不过想通过这么一个简单的练习巩固一下箭头的打法,顺便也回顾一下latex关键词的命名习惯。

一、基本箭头
箭头的英文是“arrow”,最常见的箭头不外乎向左、右、上、下四个方向,那么它们的关键词刚好就是leftarrow,rightarrow,uparrow,downarrow。这四个方向的单词是不是很眼熟?游戏键盘上通常都会有这样的提示。

另外,除了这几种样式的箭头以外,我们还常看到双框的箭头。在latex中它们被认为是“大”箭头,因此所有对应关键词的首字母都大写即可。

还记得之前我们讲不等号吗?否定就是'not'。在箭头上就更简单,直接关键词前面加'n'就可以了。不过这种用法只对左、右箭头有效。

上下箭头表示否定可以直接在前面加not

二、常用箭头的简写和别称
上面这些写法都是用完整的单词作为关键词,写起来还是有点嫌长。那么记住这些简称就很简单了。比如右小箭头通常被用来表示极限的趋近方式,那么用to就可以打出完全一样的符号了。

左箭头解释起来稍麻烦一点,它是"gets"。这种说法通常在伪代码中出现,小箭头朝左时表示左边的内容是由右边运算得到的。

而右大箭头也可以写作implies,直译过来是“意味着”。Imply这个单词如果延伸出来这个逻辑意思就是“能够推出”。比如A成立 implies B成立。这和我们平常的充分条件的用法也是一致的,所以也不难记。

最后一个是左右大箭头,我们常用它表示等价。这里它用的符号是iff。注意i.f.f. 其实是if and only if的简写,在一些比较老的数学论文里经常见到。也就是我们常说的“当且仅当”。所以它也就自然是左右大箭头符号。

三、非正向箭头
刚刚我们看的都是“正南”“正北”的箭头。有时候也会用到非正向的箭头。这些箭头的命名很有意思,刚好是按照标准的地图方向来命名的。比如左上就是西北,简写nw;右上就是东北,简写ne。那么把这些词加在小箭头前面,就变成了非正向的四个方向的箭头:

四、半箭头-harpoon
harpoon是鱼叉的意思。可能是高教授觉得半箭头这个东西很像鱼叉,所以就直接用harpoon作为这种箭头的修饰词。它的规则是“朝向”+“harpoon”+“鱼叉勾的方向”三个词组合在一起。比如朝右边,鱼叉勾朝上就是rightharpoonup,其它的类似:

所以只要方向感没问题,这种箭头都不用去查啦。
五、其它的异形箭头
当然其实还是存在一些比较奇怪的箭头。偶尔可能会用一下,要有的时候去妈叔的网站上看就是啦。

关注我们分享更多有趣有用的知识哟~
