AxMath不存在符号∄：否定斜线的3种输入方法

AxMath不存在符号 ∄ 在本站网页编辑器里有 3 种输入方法：在编辑区直接敲 \nexists，符号随打随显，按空格结束；到 LaTeX 符号大全页搜「不存在」，点「在编辑器中打开」把它带进编辑器；或者在 LaTeX 模式里用 \not\exists 组合出来。三种里优先用第一种，现成符号的斜线压在正中，组合写法的斜线会偏左。本文讲的是本站浏览器编辑器的做法，AxMath 桌面软件里的面板与快捷输入以其开发方的帮助说明为准，本站不是 AxMath 的开发方。

带否定斜线的符号速查表

∄ 只是「加斜线表示否定」这一族里的一个。下表列出常用的 12 个，第三列是现成命令，第四列说明能否用 \not 组合、组合后排得怎么样：

表中「可用」的几项，除 ∄ 的斜线偏左外，其余组合写法与现成符号排出来只在斜线角度上有细微差别；标了「有偏差」的一项，必须换成现成命令。

∄ 的三种输入方法

1. 编辑区直接敲命令：在「可视化」模式下输入 \nexists，∄ 随打随显，按空格结束命令，接着写 x。三种里这一种步骤最少。
2. 从符号大全带进来：打开 LaTeX 符号大全页，在搜索框输入「不存在」，找到 ∄ 后点「在编辑器中打开」，编辑页会带着这个符号打开。适合记不住命令名的时候。
3. LaTeX 模式组合：把公式工具栏右端的「LaTeX / 可视化」开关切到「LaTeX」，写 \not\exists，再切回「可视化」模式。这是通用写法，任何符号前加 \not 都会叠一条斜线。

本站底部符号面板里有 ∃，没有单独的 ∄ 按钮，所以面板点选这条路走不通，用上面三种之一即可。一条完整的例句写成：

\nexists x\in\mathbb{R},\ x^{2}<0

排出来如下，读作「不存在实数 x，使 x² 小于 0」：

\not 组合与现成符号的区别

\not 的做法是把一条固定的斜线叠到后面那个符号上，斜线不看符号宽窄，也不调整前后间距。现成符号是字体里单独设计的字形，斜线位置按符号本身安排好。排出来的差别可以分三种情况看：

• 完全一样：\neq 本身就是按 \not= 定义的，两种写法结果相同。
• 斜线偏移：\not\exists 的斜线落在 ∃ 左侧，\nexists 的斜线压在正中。
• 位置和间距都乱：\not\mid 的斜线斜挂在竖线外侧，a 与 b 之间的间距也变了，写不整除一定用 \nmid。

下面三组左右并排，左边是现成命令，右边是组合写法：

再看一个证明题里常见的写法「不存在 x₀∈(0, 1) 使 f′(x₀)=0」，编辑器里排出来是这样，斜线正好压在 ∃ 中间：

常见错误：写错会怎样、怎么改

• 把斜线当成除号：在 ∃ 后面补一个 / 字符，得到的是 ∃ 后面跟一个独立的斜杠，斜线没有压在符号上，改用 \nexists。
• 命令后直接接字母：\nexistsx 会被当成一个不存在的命令，排不出 ∄；敲完 \nexists 按空格，或在 LaTeX 模式里写成 \nexists x。
• 不属于写错：「不属于」只写 \notin，这是标准写法。
• 同一篇里两种写法混用：前面 \nexists、后面 \not\exists，打印出来斜线位置不一致，全文统一用现成命令。

三种输入方法的适用场景汇总如下：

∉、∄、∤、∦、≇ 这几个在 LaTeX 符号大全 的「代数符号」「几何符号」两类里可以直接「在编辑器中打开」，其余照上表敲命令。不同形态的公式软件怎么选，见 axmath软件。

改作业或出题时遇到「不存在」「不整除」这类说法，先查上面那张表的第三列，有现成命令就直接敲；表里标「没有」的 ≢，才需要在 LaTeX 模式里用 \not 组合。

延伸阅读

• axmath软件：独立安装程序、浏览器在线平台等几种形态的安装成本、联网要求与适用人群
• 公式编辑工具横向对比：在线公式编辑、桌面公式软件与 Office 自带公式的横向对比
• AxMath逻辑运算符号：任意、存在、且、或、非这些逻辑符号的输入代码对照