这些 \setlength、逻辑符号 \oplus、\nor 和 \nand 是否与 IEEEtran 兼容？

Question

这些\setlength、逻辑符号\oplus、\nor、\nand与 IEEEtran 兼容吗？
我搜索并找到了一个参考这里但是有太多不同的设置，令人困惑。

\documentclass[journal]{IEEEtran}
\usepackage{mathtools}

\makeatletter
\DeclareRobustCommand{\nand}{\mathbin{\mathpalette\n@and@or\land}}
\DeclareRobustCommand{\nor}{\mathbin{\mathpalette\n@and@or\lor}}

\newcommand{\n@and@or}[2]{%
  \vphantom{#2}%
  \ooalign{$\m@th#1#2$\cr\hidewidth$\m@th#1\sim$\hidewidth\cr}%
}
%
\setlength{\abovedisplayskip}{12pt plus 3pt minus 9pt}%
\setlength{\belowdisplayskip}{12pt plus 3pt minus 9pt}%
\setlength{\abovedisplayshortskip}{12pt plus 3pt minus 9pt}%
\setlength{\belowdisplayshortskip}{7pt plus 3pt minus 4pt}%
\setlength{\jot}{3pt}% Inter-equation spacing
%
\begin{document}
$
A\oplus B\\
A\nor B \\
A\nand B
$
\end{document}

Answer 1

我不知道这是关系还是运算符，所以我把它全部给了。此外，您不应尝试修改日记帐模板的任何间距。

\documentclass{IEEEtran}
\newcommand{\xxx}{\mathbin{\sim\mkern-18mu\land}}
\newcommand{\yyy}{\mathrel{\sim\mkern-18mu\land}}
\begin{document}
$A \xxx  B$ \par
$A \yyy  B$ \par
$A =     B$ \par
$A +     B$ \par
$A \land B$ \par
$A \sim  B$ \par
\end{document}