Nach dieser Antworthttps://tex.stackexchange.com/a/82121/16895 \notist (in ) definiert, unicode-mathum nach dem nächsten CSNamen zu suchen und zu prüfen, ob ein CSName mit dem Präfix noder vorhanden ist not.
Wenn ich jedoch die folgenden MWE verwende
\documentclass{article}
\usepackage{fontspec}
\usepackage{unicode-math}
\begin{document}
$a\not= b$ $a\neq b$
$\not\vdash$ $\nvdash$
$\not\vDash$ $\nvDash$
$\not\equiv$ $\nequiv$
\end{document}
Ich bekomme
wobei die Kombination eindeutig \not\...nicht das gleiche Ergebnis wie die entsprechende Glyphe erzeugt.
Habe ich die Antwort oben missverstanden? Oder was ist die korrekte Art, ein Symbol zu negieren (in den meisten Fällen würde ich \notaus Portabilitätsgründen die Verwendung bevorzugen, beispielsweise \nequivist es in den meisten Schriftarten nicht verfügbar, laut dem umfassenden Symbolhandbuch ist es in einigen Paketen verfügbar und beispielsweise nicht in amssymb)
Antwort1
Im Übergang von Version 0.7e zu 0.7f unicode-mathhat sich etwas geändert und die Definition
\cs_set_eq:NN \not \not_newnot:N
wird nun überschrieben durch das, was gefunden wird inunicode-math-table.tex
\UnicodeMathSymbol{"00338}{\not}{\mathaccent}{combining long solidus overlay}
Ich vermute, dass sich die Ladereihenfolge geändert hat.
Problemumgehung:
\documentclass{article}
\usepackage{fontspec}
\usepackage{unicode-math}
\ExplSyntaxOn
\AtBeginDocument{\cs_set_eq:NN \not \not_newnot:N}
\ExplSyntaxOff
\begin{document}
$a\not= b$ $a\neq b$
$\not\vdash$ $\nvdash$
$\not\vDash$ $\nvDash$
$\not\equiv$ $\nequiv$
\end{document}
