If you’ve ever studied advanced set theory or browsed a dense mathematical paper, you may have spotted a symbol that looks like a tweaked version of the familiar “contains” sign but with an extra vertical bar attached. That symbol is the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼), and it plays a very specific role in formal mathematics. It tells you that a set contains a particular element, with an added condition or constraint marked by that vertical stroke. Most people will never need it in everyday life, but for mathematicians, logicians, and technical typographers, understanding this symbol is incredibly useful. Let’s break it down.
Symbol Snapshot
Here’s everything you need to know about the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol at a glance.
| Detail | Value |
|---|---|
| Symbol | ⋼ |
| Name | Small Contains With Vertical Bar At End Of Horizontal Stroke |
| Unicode | U+22FC |
| HTML Entity | ⋼ or ⋼ |
| Alt Code (Windows) | No standard Alt code; use character map or copy/paste |
| Category | Mathematical Symbols |
| On Keyboard | Not on standard keyboards; insert via Unicode input or character picker |
What Is the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol?
The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) is a specialized mathematical operator used in set theory and formal logic. It functions as a variant of the standard “contains as member” sign (∋), with the added vertical bar indicating a specific constraint or condition on the membership relationship. You’ll find it in advanced mathematical notation, academic papers, and formal proof systems where precision matters more than brevity.
Origin and History of the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol
The story of the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol starts with the broader family of set membership notation. Georg Cantor, the founder of modern set theory in the late 19th century, introduced the foundational ideas of sets, elements, and membership. Giuseppe Peano later formalized the “element of” symbol (∈) around 1889, and its reverse, the “contains as member” symbol (∋), followed naturally.
As set theory grew more complex through the 20th century, mathematicians needed ways to express nuanced relationships between sets and their elements. Simple membership wasn’t always enough; sometimes you needed to say “this set contains that element, but with a specific condition attached.” That’s where modified membership symbols like ⋼ came in.
The vertical bar at the end of the horizontal stroke acts as a visual modifier, signaling an additional constraint or qualification. This kind of notational refinement became especially important in formal logic, type theory, and computer science, where ambiguity can derail an entire proof. When Unicode was expanded to cover mathematical operators comprehensively, the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol earned its own code point at U+22FC, ensuring it could be represented consistently across digital platforms.
Understanding the Unicode Designation
Unicode is the universal character encoding standard that assigns a unique number to every character, symbol, and emoji used in digital communication. Think of it as a giant address book where every symbol gets its own permanent ID, so computers everywhere display the same character no matter what device or operating system you’re using.
The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol lives at code point U+22FC in the Supplemental Mathematical Operators block. This block, which spans U+2A00 through U+2AFF, houses hundreds of specialized math symbols that go beyond basic arithmetic.
For web developers, the HTML entity codes are ⋼ (the named entity) or ⋼ (the numeric entity). Either one will render the ⋼ symbol correctly in a browser. If you’re working in CSS, you can use the escape \22FC inside a content property. In JavaScript, the Unicode escape \u22FC does the same job.
These codes make it possible to include the symbol in web pages, apps, and documents without worrying about font compatibility issues, as long as the user’s system has a font that supports the Mathematical Operators Unicode block.
Meanings and Uses of the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol
Mathematics and Set Theory
The primary home of the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) is formal set theory. It expresses a “contains as member” relationship with a qualifying condition attached. In standard notation, ∋ simply means “contains as a member,” but ⋼ adds a layer of specificity through its vertical bar modifier.
You’ll encounter it in advanced proofs, particularly in areas like order theory, lattice theory, and formal semantics. When a mathematician writes A ⋼ x, they’re communicating not just that set A contains element x, but that the containment satisfies an additional property or constraint. This kind of precision prevents misreadings in complex, multi-step arguments.
Formal Logic and Proof Systems
In formal logic, every symbol must carry an unambiguous meaning. The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol serves this need by distinguishing between plain membership and conditioned membership. Proof assistants and automated theorem provers sometimes use variants like ⋼ to encode specific logical relationships that the basic ∈ and ∋ symbols can’t capture alone.
Logicians working in constructive mathematics or intuitionistic logic may also reach for this symbol when they need to express membership under particular proof-theoretic constraints. It’s a niche use, but in that niche, it’s indispensable.
Computer Science and Type Theory
Type theory borrows heavily from set theory, and symbols like ⋼ occasionally appear in formal type system specifications. When defining type membership with restrictions, a modified containment symbol can express relationships that plain membership operators leave ambiguous.
Programming language researchers and compiler designers working on dependent type systems or refinement types may encounter this symbol in academic literature. It’s not something you’d type into a code editor, but understanding it helps when reading the papers that inform language design.
Academic Publishing and Technical Typography
The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol shows up in typeset mathematical documents, particularly those prepared with LaTeX or similar systems. Publishers of academic journals in mathematics, logic, and theoretical computer science need to render this symbol accurately. Having a dedicated Unicode code point ensures that digital versions of these papers display correctly across platforms and PDF viewers.
How to Type the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol
The ⋼ symbol isn’t on any standard keyboard, so you’ll need to use one of these methods depending on your platform.
| Platform | Method | Steps |
|---|---|---|
| Windows | Character Map | Open Character Map, search for U+22FC, select and copy |
| Windows | Unicode Input | In some apps, type 22FC then press Alt + X |
| Windows 11 | Symbol Picker | Press Win + . then search “contains”; may not appear in all builds |
| Mac | Character Viewer | Press Control + Command + Space, search “contains with vertical bar” |
| Chromebook | Unicode Input | Enable Unicode input in settings, press Ctrl + Shift + U, type 22FC, press Enter |
| iPhone/iPad | Copy and Paste | Copy ⋼ from this page and paste where needed |
| Android | Copy and Paste | Copy ⋼ from this page and paste where needed |
| Microsoft Word | Alt + X Method | Type 22FC then press Alt + X to convert it to ⋼ |
| Google Docs | Special Characters | Click Insert, then Special Characters, search “contains vertical bar” |
| HTML | Entity Code | Use ⋼ or ⋼ in your markup |
The fastest method for most people is simply copying the symbol from this page using the copy button above and pasting it wherever you need it.
Use It in a Sentence
Here are a few examples showing how the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol appears in context.
- “Let A ⋼ x denote that set A contains x under the given ordering constraint.”
- “The proof requires showing that B ⋼ y for all y satisfying the boundary condition.”
- “In this lattice, we write L ⋼ p to indicate conditioned membership.”
- “The HTML entity
⋼renders the ⋼ symbol in any modern browser.”
When Not to Use the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol
This symbol is highly specialized, and using it outside its intended context can cause confusion. Don’t use ⋼ when you simply mean “contains as member”; the standard ∋ symbol is the right choice for that. Avoid it in general-audience documents, business writing, or any context where readers won’t recognize advanced mathematical notation.
In programming, don’t substitute ⋼ for comparison operators or membership checks in code. Most programming languages won’t recognize it as a valid operator, and it could cause syntax errors or silent bugs. Stick to language-specific keywords like in or contains instead.
Pronunciation and Reading
When reading aloud, mathematicians typically say “contains with vertical bar” or “small contains with bar.” There’s no single universally agreed-upon pronunciation, so context usually guides how people refer to it. In a lecture or presentation, saying “A contains x with the bar condition” communicates the meaning clearly.
Accessibility Note
Screen readers may announce this symbol as “small contains with vertical bar at end of horizontal stroke” or simply read its Unicode name. Because the name is long and technical, surrounding text should always make the meaning clear without relying on the symbol alone. If you’re building a web page that uses ⋼, consider adding an aria-label or a nearby plain-language explanation so assistive technology users understand the content.
Related Variants and Lookalike Symbols
Several symbols look similar to ⋼ or belong to the same family of set membership operators. Here’s how they differ.
| Symbol | Name | Unicode | How It Differs |
|---|---|---|---|
| ∋ | Contains As Member | U+220B | The standard “contains” sign without any modifier; indicates plain set membership |
| ∈ | Element Of | U+2208 | Points the opposite direction; means “is an element of” rather than “contains” |
| ⋺ | Small Contains With Overbar | U+22FA | Uses an overbar modifier instead of a vertical bar, indicating a different type of constraint |
| ⋻ | Small Contains With Vertical Bar At End Of Horizontal Stroke (reversed) | U+22FB | A related variant with a slightly different stroke arrangement, used for a distinct logical relationship |
| ∍ | Small Contains As Member | U+220D | A smaller, text-style version of the basic contains sign with no additional modifier |
| ⊇ | Superset Of Or Equal To | U+2287 | Expresses a set-to-set relationship (superset) rather than a set-to-element relationship |
| ∌ | Does Not Contain As Member | U+220C | The negated form of the basic contains sign, meaning the set does not include the element |
If you’re interested in the “element of” side of this family, check out our guide to the element of symbol for a full breakdown.
Fun Facts
Here are a few things you might not know about the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol.
- The named HTML entity ⋼ is one of the shortest entity names in the entire HTML specification, making it surprisingly easy to remember for web developers.
- The Supplemental Mathematical Operators Unicode block where ⋼ lives contains over 250 symbols, many of which most mathematicians will never use in their entire careers.
- The vertical bar modifier in mathematical notation has roots going back to the 17th century, when mathematicians first started using vertical lines to indicate conditions and constraints in equations.
- Despite its intimidating name, ⋼ is really just a “contains” sign with a small extra mark; proof that even in math, small visual tweaks can carry big meaning.
Frequently Asked Questions
What does the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol mean?
The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) indicates that a set contains an element with an additional condition or constraint, as marked by the vertical bar. It’s a specialized variant of the standard “contains as member” symbol (∋).
How do I type the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol on Windows?
In Microsoft Word or compatible apps, type 22FC and then press Alt + X to convert it to ⋼. You can also open the Windows Character Map, search for U+22FC, and copy the symbol from there.
What is the Unicode code point for ⋼?
The Unicode code point for the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol is U+22FC. It belongs to the Supplemental Mathematical Operators block.
What is the HTML entity for the ⋼ symbol?
The HTML entity is ⋼ (named) or ⋼ (numeric). Either one will display the ⋼ symbol correctly in web browsers.
How is ⋼ different from ∋?
The standard contains symbol (∋) indicates plain set membership, meaning a set includes a given element. The ⋼ symbol adds a vertical bar modifier to signal that the membership relationship comes with a specific condition or constraint.
Where is the Small Contains With Vertical Bar At End Of Horizontal Stroke symbol used?
It appears primarily in advanced set theory, formal logic, type theory, and academic mathematical publications. It’s not used in everyday writing or standard programming.
How do screen readers handle the ⋼ symbol?
Screen readers typically announce it by its full Unicode name, “small contains with vertical bar at end of horizontal stroke.” Because the name is long, it’s best to include plain-language context nearby so all readers understand the meaning.
Now You Know the Small Contains With Vertical Bar At End Of Horizontal Stroke Symbol
The Small Contains With Vertical Bar At End Of Horizontal Stroke symbol (⋼) might have one of the longest names in Unicode, but its purpose is refreshingly specific. It tells you a set contains an element under a particular condition. Now you know its meaning, its Unicode code point, its HTML entities, and exactly how to type or paste it on any device. If you know someone who works with set theory, formal logic, or mathematical typesetting, pass this article their way; they’ll appreciate having all the details in one place.