The ∋ Symbol Explained: What Does 'Contains As Member' Mean?
The ∋ symbol, officially known as "Contains As Member" (U+220B), is a mathematical operator used in set theory to indicate that a specific set includes a particular element. It functions as the exact mirror image of the standard "Element Of" symbol (∈). For example, the mathematical statement "A ∋ x" directly translates to "Set A contains the element x."
Giuseppe Peano originally introduced the concept of set membership in 1889 using the lowercase Greek letter epsilon (ε). Over time, this evolved into the stylized ∈ symbol. The ∋ symbol naturally emerged as a typographical reversal to allow mathematicians to write statements from right to left. This flexibility keeps complex equations readable, letting writers prioritize the set over the element when structuring logical proofs.
In the Unicode standard, ∋ sits comfortably in the Mathematical Operators block at code point U+220B. Programmers and web developers frequently use HTML entities like ∋ or ∋ to ensure it renders correctly on web pages. In LaTeX, a popular typesetting system for scientific and academic documents, you can generate this exact symbol using the commands \ni or \owns.
While primarily a math and computer science character, you might occasionally spot ∋ in quirky social media usernames, aesthetic text art, or Japanese kaomoji (text emoticons), where it acts as a stylized eye or mouth. Outside of these creative uses, its true home remains in academic papers, logical proofs, and programming contexts where precise set relationships matter.
Typing ∋ depends entirely on your device and operating system. On a Mac, open the Character Viewer (Control + Command + Space) and search for "contains". Windows users typing in Microsoft Word can type 220B followed by Alt + X. For iOS and Android smartphones, the default keyboards do not include advanced set theory operators, so your best bet is copying and pasting the symbol directly from a search engine or encyclopedia.
It is easy to mix up ∋ with its closely related siblings. Always remember that ∈ (Element Of, U+2208) points the other way, indicating an element belongs to a set. You will also encounter ∌ (Does Not Contain As Member, U+220C), which adds a distinct strikethrough to the symbol to negate the statement entirely.