☰

如何否定特定符号？

tag-icon • tag-icon symbols
如何否定特定符号？

我想否定代码为 的符号\models（这特定于形式逻辑）。我该怎么做？我尝试了许多组合，但没有找到如何做到这一点。我尝试了\neqmodels、\nemodels、\notmodels，\nmodels 但都是错误的。

是否有一种通用的方法来否定符号？

答案1

有多种方法可以实现符号的否定：

  1. 遵循如何查找符号或识别数学符号或字符？查看这样的符号是否已经存在。

    这通常是最好的做法，因为符号的构造应该符合某些规范（例如，否定符号的位置和高度/深度）。如果这样的符号只能以不同的字体提供，那么请考虑按​​照以下说明仅包含该符号从不同字体导入单个符号。

    在此处输入图片描述

    \documentclass{article}
\usepackage{amssymb}% http://ctan.org/pkg/amssymb
\begin{document}
\[
  a \neq b \nparallel c \nvDash d \nprec e
\]
\end{document}

  2. 对于符号\mysymbol，请尝试\not\mysymbol。\not是一个零宽度数学关系，它被设置在调用位置的“右侧”。因此，它在视觉上与典型的数学关系/符号重叠。并不总是完美的，但一般情况下是有效的。

    在此处输入图片描述

    \documentclass{article}
\begin{document}
\[
  a \not= b \not\geq c \not\sim d \not\approx e \not\in f
\]
\end{document}

  3. centernot当符号比平常宽一些，但您仍然想要常规的\not视觉效果时，它可以很好地工作。

    在此处输入图片描述

    \documentclass{article}
\usepackage{centernot}% http://ctan.org/pkg/centernot
\begin{document}
\[
  a \not= b \centernot= c 
    \not\parallel d \centernot\parallel e 
    \not\longrightarrow f \centernot\longrightarrow g
\]
\end{document}

  4. 这cancel包裹在符号上画一条对角线来“取消”它。

    在此处输入图片描述

    \documentclass{article}
\usepackage{centernot,cancel}% http://ctan.org/pkg/{centernot,cancel}
\begin{document}
\[
  a \not= b \centernot= c \mathrel{\cancel{=}} d
    \not\longrightarrow e \centernot\longrightarrow f \mathrel{\cancel{\longrightarrow}} g
\]
\end{document}

  5. 其他方法包括使用图形包，例如tikz或者pstricks在符号/结构的特定位置绘制规则。

答案2

一个好的妥协通常都是\centernot（从包装上centernot）。

但有时这样\centernot做很好，有时则不然。例如，产生的结果比使用普通斜线的\centernot{\in}结果更差。\notin

在其他情况下，需要进行一些小的调整：

\documentclass{article}
\usepackage{centernot}

\begin{document}

$\centernot{\eta}$

$\mkern-1mu\not\mathrel{\mkern1mu\eta}\mkern1mu$

\end{document}

在此处输入图片描述

第一个\mkern进行小规模备份；然后\not进行排版，这需要不水平空间，然后\eta打印不中间有一个空格，因为它已经变成了一个关系符号，而 TeX 不会在连续的关系符号之间添加空格，而是在前面加上一个小空格来补偿之前插入的负空格。最后添加一个空格是为了解决斜线在 的右侧结束的问题\eta。

请注意，就间距而言，所有构造都将被视为关系符号：

\documentclass{article}

\newcommand{\noteta}{%
  \mkern-1mu\not\mathrel{\mkern1mu\eta}\mkern1mu
}

\begin{document}

$A \noteta B$

\end{document}

在此处输入图片描述

如果需要普通符号，请添加\mathord或仅添加一对额外的括号：

\newcommand{\noteta}{%
  \mathord{\mkern-1mu\not\mathrel{\mkern1mu\eta}\mkern1mu}%
}

相当于，但更清晰，

\newcommand{\noteta}{%
  {\mkern-1mu\not\mathrel{\mkern1mu\eta}\mkern1mu}%
}

根据所涉及符号的形状，可能需要进行此类手动调整。

答案3

如何獲得\not\to箭？

可能是最好的测试代码符号

\documentclass{article}
\usepackage{amssymb}
\usepackage{unicode-math} % if you also need maths

\begin{document}
$\nrightarrow$
\end{document}

给予

在此处输入图片描述

测试代码中心不包，但负面并发症unicode 数学

\documentclass{article}
\usepackage{centernot}% http://ctan.org/pkg/centernot

\begin{document}
\[
\centernot\to
\]
\end{document}

给予

在此处输入图片描述

错误中心不包裹

  • 和unicode 数学：Latex 错误：./file.tex:9 缺少插入的 {。

\不\单独给出未对齐的箭头，但unicode 数学包装作品

\documentclass{article}
\usepackage{unicode-math} % if you also need maths
\begin{document}
$\not\to$
\end{document}

在此处输入图片描述

相关内容