2
$\begingroup$

I don't know what it is even called so I cannot really type it out properly, sorry. I've seen things like $X$|_|$[0,1)$. The symbol in question looks like $\cup$ but without curvy, round bits, its like the bottom half of a square.

I don't know how else to describe it and it look bizarre.

Can anyone tell me? Thank you

|cite|improve this question
$\endgroup$
  • $\begingroup$ Is it $\sqcup$? Or $\amalg$? $\endgroup$ – Daniel Fischer Feb 17 '16 at 15:39
  • 1
    $\begingroup$ $\sqcup$ is typically used to denote disjoint union. Meaning, you take the union of copies of the sets in questions but without common elements. It is standard to "make the sets disjoint" by interpreting $A\sqcup B$ to mean $(A\times\{0\})\cup (B\times\{1\})$. Similarly for unions of more than two sets. $\endgroup$ – Andrés E. Caicedo Feb 17 '16 at 15:41
  • $\begingroup$ Also referred to as the "coproduct" in category theory. See Lang's Algebra. $\endgroup$ – user15994 Feb 17 '16 at 15:49
  • $\begingroup$ By the way you can use detexify.kirelabs.org/classify.html to look up Latex symbols from a drawing of them. $\endgroup$ – Oscar Cunningham Feb 17 '16 at 16:43
2
$\begingroup$

$A\sqcup B$ is just $A\cup B$, but it gives the information that $A$ and $B$ are disjoint, i.e. $A\cap B=\emptyset$.

In probability theory, this notation can also be used for independence. For example, $X\sqcup Y$ means that the random variables $X$ and $Y$ are independent.

|cite|improve this answer
$\endgroup$
  • $\begingroup$ That's the notation I'm looking for, thanks! $\endgroup$ – John Trail Feb 17 '16 at 18:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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