我如何否定 \curlywedge

Question

我猜你用的\curlywedge是关系符号，因为你想否定它。请注意\curlywedge，正如所定义的amssymb，它是一个二元运算符号，因此它的间距规则与关系符号完全不同。例如，如果你说

\not\mathrel{\curlywedge}

你得到

但是，这并不完全令人满意。这是我的建议。

\documentclass{article}
\usepackage{amsmath,amssymb}

\newcommand{\bcw}{\mathrel{\curlywedge}}
\makeatletter
\newcommand{\nbcw}{\mathrel{\vphantom{/}\mathpalette\ncbw@\relax}}
\newcommand{\ncbw@}[2]{%
  \ooalign{$\m@th#1\bcw$\cr\hidewidth$\m@th#1\mkern1mu/$\hidewidth\cr}%
}
\makeatother

\begin{document}

$A \bcw B \nbcw C_{A\bcw B\nbcw C}$

\end{document}

斜线稍微向右移动，以避免与左侧部分几乎相切。

如果您使用符号作为二进制运算，只需替换\mathrel为\mathbin。

无论如何，我建议使用更具语义的名称（建议的名称仅用于编写代码）。

如果你更喜欢这个\not角色，那比……更偏向/……

\documentclass{article}
\usepackage{amsmath,amssymb}

\newcommand{\bcw}{\mathrel{\curlywedge}}
\makeatletter
\newcommand{\nbcw}{\mathrel{\vphantom{\not}\mathpalette\ncbw@\relax}}
\newcommand{\ncbw@}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1{\not}\hphantom{=}$}%
  \ooalign{$\m@th#1\bcw$\cr\hidewidth$\m@th#1\mkern1.5mu\copy\z@$\hidewidth\cr}%
  \endgroup
}
\makeatother

\begin{document}

$A \bcw B \nbcw C_{A\bcw B\nbcw C}$

\end{document}

Answer 1