How can I write the symbol
for a proper ideal?
The standard relations
\leq,\subseteq both have a "proper" version
\lneq,\subsetneq, but I was unable to find a "proper" version of either
You can do by superimposing the symbols:
A version that changes size in subscripts/superscripts; some artifacts may appear at low screen resolution.