Is there a good way to represent the negation of \rhd?. I have tried something like \not\rhd, but it does not look nice. Looking around I haven't found any good suggestion.
Asked
Active
Viewed 134 times
0
Jasper Habicht
- 48,848
kafka
- 253
1 Answers
1
You shouldn't use \rhd as a relation symbol, because it's a binary operation symbol. You can find it in latexsym (deprecated) or amsfonts:
\DeclareMathSymbol{\lhd} {\mathbin}{AMSa}{"43}
\DeclareMathSymbol{\unlhd} {\mathbin}{AMSa}{"45}
\DeclareMathSymbol{\rhd} {\mathbin}{AMSa}{"42}
\DeclareMathSymbol{\unrhd} {\mathbin}{AMSa}{"44}
The same symbols used as relation symbols are called differently:
\ams@DeclareMathSymbol{\vartriangleright} {\mathrel}{AMSa}{"42}
\ams@DeclareMathSymbol{\vartriangleleft} {\mathrel}{AMSa}{"43}
\ams@DeclareMathSymbol{\trianglerighteq} {\mathrel}{AMSa}{"44}
\ams@DeclareMathSymbol{\trianglelefteq} {\mathrel}{AMSa}{"45}
and amssymb (that loads amsfonts) has
\DeclareMathSymbol{\ntrianglerighteq}{\mathrel}{AMSb}{"34}
\DeclareMathSymbol{\ntrianglelefteq}{\mathrel}{AMSb}{"35}
\DeclareMathSymbol{\ntriangleleft} {\mathrel}{AMSb}{"36}
\DeclareMathSymbol{\ntriangleright} {\mathrel}{AMSb}{"37}
So the answer is to load amssymb and to use \ntriangleright.
\documentclass{article}
\usepackage{amssymb}
\begin{document}
$x\ntriangleright y$
\end{document}
egreg
- 1,121,712

\ntriangleright? – campa Jul 13 '22 at 10:23