Symbols talk:Set Theory/Proper Subset

@ User:prime.mover I would suggest to ban the $\subset$ symbol, for two reasons.

First, when it is found in isolation, I (as the reader) don't know whether the author meant 'subset and not equal' or 'subset or equal', and both conventions still have their followers it seems, and a reader may not know that the former is the ProofWiki convention. E.g., at first I was confused that Equivalence of Definitions of Separated Sets/Definition 1 implies Definition 2 wasn't simpler.

Second, the fact that I need to write  if I mean 'subset and not equal' invites mistakes by the writer.

So can't we just allow only $\subseteq$ and $\subsetneq$  or perhaps its slightly more ugly equivalent $\subsetneqq$ ?


 * Good call. I have made mention of this here: Definition:Proper Subset, and we already have this page: Symbols:Set Theory/Deprecated Symbols. --prime mover (talk) 14:46, 2 September 2019 (EDT)