TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

When using XITS (with xelatex), the \not is displayed way too high on certain commands. For instance:

\setmathfont{XITS Math}

\huge$\not\models \not\nerode \not\equiv$

is displayed:

enter image description here

That is, only the \not\equiv which is probably a glyph by itself, is properly printed. Compare the above result with the following (without unicode-math and XITS Math):

enter image description here

What is the way to go to fix that?


share|improve this question
The glyphs are already available as \nequiv for ≢ and \nvDash for ⊭ – egreg Nov 9 '12 at 20:35
up vote 9 down vote accepted

unicode-math should load predefined negation symbols when available, so \not\equiv is the same as \nequiv, but it seems not all aliases were taken care of (\not\vDash works but not \not\models).

unicode-math simply defines \not so that it checks the next csname, and if the there an n or not prefixed csname of that name, it will use it, else it will just put the slash.

A simple fix is to define \n… csnames of the ones that does not work for you, e.g.:

share|improve this answer
Thanks, I went for that solution. – Michaël Nov 11 '12 at 16:06

Usually \not is only a poor man's solution, overlaying a slash like glyph with the relational symbols that follows. However, the result could be improved by ligatures to select the right glyph. Probably this is the case with \not\equiv here.

Both negated characters are directly available. And in unicode-math-table.tex the macro names can be found:

  • ≢: U+2262 NOT IDENTICAL TO: \nequiv
  • ⊭: U+22AD NOT TRUE: \nvDash

Thus they can be used directly:

\setmathfont{XITS Math}


$\nvDash\nequiv$ % standard names (unicode-math-table.tex)

$⊭≢$ % direct



share|improve this answer
The predefined commands for these symbols are \nvDash and \nequiv (according to unimath-symbols). – Caramdir Nov 9 '12 at 20:11
@Caramdir Thanks. Answer modified accordingly. – Heiko Oberdiek Nov 9 '12 at 20:56
@HeikoOberdiek: Thanks for your answer! Now I see that even \not\in is not the same as \notin in XITS. Gosh, all those years... – Michaël Nov 11 '12 at 16:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.