Small Element Of With Vertical Bar At End Of Horizontal Stroke Symbol
⋴ is a specialized “element of” style math symbol used in formal set and membership notation.
U+22F4
The symbol ⋴ is a mathematical glyph used to express an element-of style relationship with a distinctive bar detail. It’s most often encountered in typeset math, documentation, or handwritten-style notation.
Small Element Of With Vertical Bar At End Of Horizontal Stroke Symbol Meaning
⋴ (named “SMALL ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE”) is a math symbol related to the idea of “element of” or membership-style notation. In many contexts, it’s used to indicate that a value belongs to a set or collection, similar in spirit to the standard element-of symbol, but with a specific visual form (a small glyph and a vertical-bar feature at the end of the horizontal stroke). Because it’s a precise Unicode character, it’s commonly used when you need matching typography or a specific notation style in equations, notes, and technical writing.
Common uses
- •Typing formal set membership statements in math documents
- •Matching a specific notation style in lecture notes or worksheets
- •Writing logic or discrete math expressions in plain text editors
- •Creating consistent typography in technical blog posts and documentation
- •Using the exact Unicode character in copy/paste workflows for papers
Examples
⋴ Small element of (vertical bar variant)
- ⋴Let x ⋴ A.
- ⋴If y ⋴ B, then y has property P.
- ⋴Choose z ⋴ S such that z > 0.
- ⋴For a ⋴ T, verify the constraint holds.
- ⋴Given n ⋴ N, compute n mod k.
Variations
Ready to copy
Technical codes
| Unicode | U+22F4 | |
| HTML Entity | ⋴ | |
| HTML Code | ⋴ | |
| CSS | \22F4 |
FAQ
What does ⋴ mean?
⋴ is a math “element of” style symbol (Unicode name: small element of with vertical bar at end of horizontal stroke) used for membership-style notation in formal text.
Is ⋴ the same as the standard element-of symbol (∈)?
They are related, but they are not identical characters. ⋴ is a distinct Unicode symbol with a specific form, often used to match a particular notation or typography.
Where can I use ⋴?
You can use it in plain text, editors, and documents for math expressions, technical writing, and copy/paste workflows where a specific Unicode symbol is required.
How do I type ⋴ in code?
You can use its Unicode escapes: CSS escape \\22F4 and JavaScript escape \\u{22F4}. The HTML entity is ⋴.