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:
Best Answer
Lost symbol sighted in
mathabx
. :)EDIT: A nice resource in such cases, the Comprehensive Symbol List. I admit, at times it can be quite tedious browsing it for a given symbol... but so far it's the best thing I know of.