Going through the comprehensive symbols list, and also Detexify, we see that through various packages (mostly
amssymb) we can get the symbols
\precPrecedes. Unicode U+227A: ≺
\preceqPrecedes or equals to. Unicode U+227C: ≼
\precsimPrecedes or equivalent to. Unicode U+227E: ≾
\precnsimPrecedes 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.
< supports variants
\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: