ThmDex – An index of mathematical definitions, results, and conjectures.
Convention N623 on D101: Proper subset
Notation for proper subset relation
If $X$ is a D11: Set and $E$ is a D101: Proper subset of $X$, we denote this by $E \subset X$.