Going through the comprehensive symbols list, and also Detexify, we see that through various packages (mostly amssymb
) we can get the symbols
\prec
Precedes. Unicode U+227A: ≺\preceq
Precedes or equals to. Unicode U+227C: ≼\precsim
Precedes or equivalent to. Unicode U+227E: ≾\precnsim
Precedes and not equivalent to.(I don't think there is a unicode symbol for this one)Edit: as David Carlisle points out I just didn't scroll down far enough. It is Unicode U+22E8.
Its cousin <
supports variants \leq
and \lneq
. Evidently, however, there is no \precneq
equivalent for the "precedes" symbol.
Question: Has someone already constructed the symbol and placed it in a package? If not, how can I construct such a symbol? It should start from the AMS \preceq
symbol and drop a cancelling sign over the equals-to part only.
Edit: for clarification, something like the following is what I desire:
amssymb
package there is a\npreceq
symbol.\prec
to mean precedes and not equals to and\preceq
for the possibility of equals to. In which case the symbol would not be necessary. But sometimes in the text it is nice to emphasize the fact that A precedes B and not equals to B.\npreceq
cancels the whole symbol. I just want the canceling line to drop over the equals part similar to\precnsim
or to\lneq
(also from amssymb).