We all love normal subgroups, and in searching the web for the answer to my question I've found plenty of resources for ways to indicate normal subgroups. That's not what I'm looking for. When one wants to say $H$ is a subgroup of $G$
(not necessarily a normal subgroup, normal status is unknown), what is the intended symbol for that purpose? Does everyone just use the less-than \lt
symbol? One could simply use a backslash symbol for setminus, but I'm betting parsers that automatically read LaTeX for the purposes of moving equations between math softwares probably process \setminus
better. In a similar spirit, is there a LaTeX symbol for non-normal subgroup?
Edited for clarification: I am not looking for how to say "not a normal subgroup", that is, I'm not looking for a crossed out normal subgroup symbol, or a "not" symbol in front of a normal subgroup symbol. I'm looking for a standard subgroup symbol that doesn't reference "normalness" in any way.
\not\trianglelefteq
produce what you are looking for? That is just a guess, extrapolating from Normal subgroups.\leq
symbol for saying “is a subgroup of” and\unlhd
for “is a normal subgroup of”. If you say “is a subgroup of”, you're supposing nothing about normality.