☰

如何输入 NOT \delta 和 NOT \ll

tag-icon • tag-icon symbols
如何输入 NOT \delta 和 NOT \ll

在邻近理论中，我们将\delta和\ll用作集合 X 的幂集上的二元关系。如何显示与我们可以执行的类似的NOT\delta或 NOT 。使用和将删除线放置在和上的错误位置。\ll\not\in\not\delta\not\ll\delta\ll

对于 NOT \delta，我目前正在使用

  • \!\!\not\!\delta

对于 NOT \ll，我正在使用

  • \hskip 0.4mm \not \hskip -0.4mm \ll

这里有几个问题。有时“not”在“delta”上的位置有点偏离，但它在各个页面中有所不同。此外，在行末，我可能会看到出现\not在当前行末尾，而\delta出现在下一行开头。我在 NOT 的定义中没有注意到这个问题\ll。

定义这些符号的最佳方法是什么？如何确保“not”与“delta”在同一行？

答案1

只需使用 Heiko Oberdiek 的centernot包：

\documentclass{article}
\usepackage{centernot}
\usepackage{amsmath}
\begin{document}

$a\centernot\ll b \centernot\Delta c$

$a\centernot\longrightarrow b$

$a\centernot{\xrightarrow{1234567}} b$

\end{document}

在此处输入图片描述

答案2

Leo Liu 告诉了你一种定义符号的好方法；我想解释一下你观察到的奇怪行为。

有时“not”与“delta”的位置会有些偏差，但它会在整个页面中发生变化。

原因\not是关系型符号，TeX\thickmuskip在普通符号和关系符号之间插入一个（这提供了很好的间距）。现在\thickmuskip通常是跳过一个5.0mu plus 5.0mu，这意味着：它至少有 5 个mu单位宽，但它可以拉紧额外增加 5 个mu单位，具体取决于当前生产线的满载程度。

例如，如果你输入$a \!\!\not\!\delta b$，TeX 会将其放在符号\thickmuskip之前\not并且之前 \delta后者跳跃的可伸缩性导致“not”在“delta”上的位置在整个页面中发生变化。

另外，在行尾，我可能会得到\not出现在当前行末尾的和\delta出现在下一行开头的。

如果关系符号（如\not）后面跟着一个跳过符号\!（或一个普通符号），TeX 允许在其间插入换行符。（从技术上讲，这是通过放置 来实现的\penalty 500。）

我在对 NOT 的定义中没有注意到这个问题\ll。

您对 NOT 的定义也会出现不想要的换行符问题\ll。但是，“not”的位置变化不会发生：原因是两个都 \not和\ll是关系符号，TeX 在两个关系符号之间不留任何空格。

答案3

我认为您希望宏\mathrlap与您要否定的符号上的斜线重叠：

\documentclass{article}
\usepackage{mathtools}
\newcommand{\NOTDelta}{\!\!\not\!\Delta}
\newcommand{\NOTll}{\hskip 0.4mm \not \hskip -0.4mm \ll}
\newcommand{\notDelta}{\mathrel{\mathrlap{\not}\Delta}}
\newcommand{\notll}{\mathrel{\mathrlap{\;\;\not}\ll}}
\begin{document}

\begin{align*}
    A &\not\Delta B     & A &\not\ll B \\
    A &\NOTDelta  B     & A &\NOTll  B \\
    A &\notDelta  B     & A &\notll  B
\end{align*}

\end{document}

示例代码

该\mathrel命令会将符号分隔开，就像它是二元关系一样。如果没有它，您的符号就会挤得太近。该\mathrlap命令将其内容设置在宽度为零的框中，其余部分则重叠在右侧。

相关内容