Subset of - BUT - not equal to ....

[Math Amateur]

In Paolo Aluffi's proof of the Jordan-Holder Theorem he uses a symbol indicating a subset of a group ... BUT ... not equal to the group ... as in the following, between say $$G_0$$ and $$G_1$$ ...
View attachment 4913Can someone help with the Latex code for the symbol ... ...

Peter

 

[Euge]

The code you're looking for is \supsetneq, which produces $\supsetneq$. So you'll be able to write $G_0 \supsetneq G_1$ as in the book.

 

[Math Amateur]

The code you're looking for is \supsetneq, which produces $\supsetneq$. So you'll be able to write $G_0 \supsetneq G_1$ as in the book.

Thank you for the help, Euge ...