Contains With Vertical Bar At End Of Horizontal Stroke Symbol
The ⋻ symbol indicates a “contains” relationship with a distinctive vertical bar at the end of the horizontal stroke.
U+22FB
⋻ (U+22FB) is a math symbol with a “contains” meaning. It’s typically used in formal notation where the exact glyph distinguishes closely related set or relation operators. Copy it into documents, editors, or code using the provided escapes.
Contains With Vertical Bar At End Of Horizontal Stroke Symbol Meaning
⋻ is the Unicode character named “CONTAINS WITH VERTICAL BAR AT END OF HORIZONTAL STROKE” (U+22FB). In math and logic contexts, it expresses a containment relation, often in notations that distinguish between similar “contains/does not contain” or “contains with additional marking” operators. The added vertical bar at the end of the horizontal stroke is part of the glyph’s meaning, so it should be used when the distinction matters rather than substituting a more common contains symbol. Use it as-is in typeset text or Unicode-capable environments where the exact character form is required.
Common uses
- •Writing set or relation statements in math notes and homework
- •Labeling operators in textbooks or lecture slides for formal notation
- •Annotating diagrams or proofs where “contains” needs a specific marked form
- •Adding correct Unicode symbols to technical documentation and comments
- •Creating consistent typography for math-focused posts on social media
Examples
⋻ Contains with vertical bar at end of horizontal stroke
- ⋻A ⋻ B, where the notation specifies the marked containment relation.
- ⋻In the proof, we use ⋻ to indicate a contains relation with the bar detail.
- ⋻Let S be defined such that S ⋻ T under the given condition.
- ⋻The expression x ⋻ y appears in the step describing containment.
- ⋻For subset reasoning, the document uses ⋻ to match the intended operator.
Ready to copy
Technical codes
| Unicode | U+22FB | |
| HTML Entity | ⋻ | |
| HTML Code | ⋻ | |
| CSS | \22FB |
FAQ
What does the ⋻ symbol mean?
It is a math operator meaning “contains,” specifically “contains with vertical bar at end of horizontal stroke,” as indicated by its Unicode name (U+22FB).
Where should I use ⋻ instead of a plain contains symbol?
Use ⋻ when the notation requires the exact marked containment glyph, such as in formal math, proofs, or documents that distinguish closely related operators.
How can I copy ⋻ reliably?
Copy the character directly (⋻). For guaranteed rendering in HTML/code, you can use the HTML entity ⋻ or the Unicode code point U+22FB.
Does ⋻ have an HTML or CSS escape?
Yes. HTML entity is ⋻ and CSS escape is \\22FB (Unicode U+22FB). For JavaScript, use \\u{22FB}.