\boldmath 与 \not 的相互作用

Question

似乎将\boldmath(或\bm) 与 一起使用\not效果不太好。下面是一个使用\not\subseteq和 的示例\not\le ，其中表示否定的线没有充分延伸到符号末尾。

问题：

• 有没有更好的方法来获得大胆的数学，或者我需要诉诸我通常的过度杀伤解决方案并用来\tikz画not线？

• 这是粗体数学的已知问题吗？还存在其他已知粗体数学问题吗？

参考：

• 我正在使用的解决方案彩色符号为\MathColor，其数学等价于\textcolor。
• 后续问题：在 `\bm` 模式下自动替换 `\not`。

代码：

\documentclass{article}
\usepackage{bm}
\usepackage{xcolor}

%% https://tex.stackexchange.com/questions/85033/colored-symbols-in-latex
\newcommand*{\MathColor}{}
\def\MathColor#1#{\mathcoloraux{#1}}
\newcommand*{\mathcoloraux}[3]{%
  \protect\leavevmode
  \begingroup
    \color#1{#2}#3%
  \endgroup
}

\newcommand{\Expression}{R \not\subseteq T, x \not\le y}%

\begin{document}
\begin{tabular}{r l}
                  & $\Expression$ \\% This works fine.
\verb|\boldmath|: & {\boldmath $ \Expression$} \\
\verb|\bm|: & \bm{$\Expression$} 
\end{tabular}

\bigskip
Test with color
\medskip

\begin{tabular}{r l}
\verb|\MathColor|: & $\MathColor{red}{\Expression}$ \\
\verb|\boldmath|: & {\boldmath $ \MathColor{red}{\Expression}$} \\
\verb|\bm|: & %\par\bm{$\MathColor{\Expression}$}%% ???
\end{tabular}
\end{document}

Answer 1

我想说，归根结底，这是一个字体问题：你需要一种带有粗体\nsubseteq符号的字体。（或者\not粗体数学字体中的符号应该更长。）如果你没有合适的符号，你可以随意修改并手动构建一个更长的\not符号。我在下面的代码中这样做了，看起来它与\bm和配合得很好\color：

注意：这仅适用于 中的 CM 字体的手动像素完美紧排\textstyle。请注意，要\bm使用颜色，您不应该使用\bm彩色数学，而应该使用\bmed 数学。

\documentclass{article}
\usepackage{bm,xcolor}
\newcommand*\longnot{%
  \mathrel{%
    \mkern-0.75mu
    \raisebox{-0.8pt}{$\not$}%
    \mkern1.5mu
    \raisebox{0.8pt}{$\not$}%
    \mkern-0.75mu
    }
  }
\begin{document}
$\bm{A\not\subseteq B}$ versus $\bm{A\longnot\subseteq B}$
\par\smallskip
with color: \color{red}{$\bm{R \longnot\subseteq T,\ x \longnot\le y$}}
\end{document}