Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I just came across this "subset" symbol in a PDF:

$$\Omega \subsetneq T$$

I've never seen it before, and I tried looking for it via Detexify (to no avail). What does it mean?

share|cite|improve this question
subset definitions – pedja Jan 17 '12 at 9:51
up vote 13 down vote accepted

This means $\Omega$ is a proper subset of $T$. That is, $\Omega\subseteq T$ but $\Omega \neq T$.

For example, $\{1, 2, 3\}\subsetneq \{1, 2, 3, 4\}$.

share|cite|improve this answer
@gablin: Another variant is $\subsetneqq$, and of course some folks use $\subset$ to mean proper subset. – Brian M. Scott Jan 17 '12 at 10:23
Argh, the author mixes the various notations throughout the document! Why not just pick one and be consistent... – gablin Jan 17 '12 at 10:28
Well, people sometimes just use $\subset$ to mean $\subseteq$. Because it is quicker to type, perhaps? Context is all-important! – user1729 Jan 17 '12 at 10:39
@user1729 I think besides being quicker to type, it also mirrors the $<$ and $\leq$ signs nicely. – Kris Harper Jan 17 '12 at 14:25
@root45 - that's not what I mean. Read my post again... – user1729 Jan 17 '12 at 20:41

$\subsetneq$ ($\text{"\\subsetneq"}$) means: subset, but not equal.

Here's a nice example:

Let Ω be a half-strip in the complex plane: $$ \Omega = \{ z \in \mathbb{C} | x_1 \leq \mathrm{Re} (z) \leq x_2 \text{ and } \mathrm{Im} (z) \geq y_0 \} \subsetneq \mathbb{C}. \, $$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.