HTML Entity for Element Of With Vertical Bar At End Horizontal Stroke (⋳)
Beginner
5 min read
Updated: Sep 2026
1 example
Unicode U+22F3
Definition
What Is Element Of With Vertical Bar At End Horizontal Stroke?
Element of with vertical bar at end horizontal stroke (⋳) is the Unicode character at U+22F3 in Mathematical Operators. Official name: ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE. It is a membership operator with a vertical bar at the end of the horizontal stroke — useful in formal set theory and logic.
Remember
Character ⋳
Unicode U+22F3
Named entity ⋳
Hex entity ⋳
Decimal ⋳
CSS escape \22F3
Not the same ∈ (isin) · ⋴ (isins) · ⋶ (overbar)
Prefer ⋳ in HTML markup. You can also use ⋳ / ⋳, or type ⋳ in a UTF-8 document.
Built with Named: ⋳
Built with Hex: ⋳
Built with Decimal: ⋳
Built with CSS: ⋳
Typed: ⋳
Membership: x ⋳ S
How It Works
1. Named:⋳ is the preferred HTML5 name for U+22F3 → ⋳.
2. Hex:⋳ inserts the same code point. Same visual as named.
3. Decimal: same code point as 8947 → ⋳.
4. CSS: use \22F3 in content (not an HTML entity). #point::after appends ⋳.
5. Typed: paste ⋳ in a UTF-8 document, or write membership like x ⋳ S.
Pitfalls & Tips
Common mistakes when working with this membership operator.
Name
Prefer ⋳
⋳ is the readable named form for U+22F3. Numeric forms still work when you need them.
⋴
Not the small variant
U+22F4 (⋴) is the small form. U+22F3 is the full-size operator.
∈
Not plain ∈
U+2208 is the ordinary element-of symbol. This character adds a vertical bar at the end of the horizontal stroke.
CSS vs HTML
Do not mix escapes
\22F3 belongs in CSS strings. ⋳ / ⋳ / ⋳ belong in HTML.
Fonts
Math font coverage
Some fonts omit less-common Mathematical Operators. Prefer a font with solid math coverage.
a11y
Add accessible text
Screen readers may not expand ⋳ clearly. Prefer full phrases nearby (for example “x is an element of S”) when the meaning matters.
Semicolon
End references
Always finish entities with ; — write ⋳, not &isinsv.
Compatibility
Browser Support
Element of with vertical bar at end of horizontal stroke (U+22F3) and its entity forms (⋳, ⋳, ⋳, CSS \\22F3) are supported in all mainstream browsers. Visible glyphs depend on Mathematical Operators font coverage.
✓ Universal support
Element Of With Vertical Bar At End Horizontal Stroke (⋳)
Encode with named, hex, decimal, CSS escape, or type the character — same code point everywhere encoding is supported.
100%Browser coverage
Google ChromeSupported
Yes
Microsoft EdgeSupported
Yes
Mozilla FirefoxSupported
Yes
Apple SafariSupported
Yes
OperaSupported
Yes
Internet ExplorerAll versions
Yes
U+22F3 / ⋳Full support
Bottom line: Prefer ⋳ in HTML. Use ⋳ / ⋳ when numeric form is required, and \\22F3 only inside CSS content.
Remember
Key Takeaways
Unicode: this operator is U+22F3 (decimal 8947) — glyph ⋳.
HTML: prefer ⋳ (named form).
CSS: use \22F3 inside content for generated text.
Size: full ⋳ ≠ small ⋴ ≠ plain ∈.
One line:U+22F3 → ⋳ / ⋳ / CSS \22F3.
Frequently Asked Questions
Use ⋳ (named), ⋳ (hex), ⋳ (decimal), type ⋳ directly in UTF-8, or the CSS escape \22F3 in content.
U+22F3 (ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE). Hex 22F3, decimal 8947. It belongs to the Mathematical Operators block (U+2200–U+22FF).
Yes. ⋳ is the HTML5 named entity for U+22F3 and is usually the most readable choice in set-theory markup.
Use it when you need this vertical-bar membership variant in formal math or logic. Prefer ∈ (U+2208) for ordinary “element of,” and ⋴ (U+22F4) for the small form.
HTML entities (⋳, ⋳, or ⋳) go in markup. The CSS escape \22F3 goes in stylesheet strings (usually content on ::before/::after).
No. U+22F3 is ⋳ (vertical bar at end of horizontal stroke). U+2208 is ∈ (plain element of). U+22F4 is ⋴ (the small variant).
🤔
Did you know?
This mark is Unicode U+22F3 (decimal 8947) — glyph ⋳ (ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE) in Mathematical Operators. HTML5 names it ⋳. The small variant is ⋴ (⋴, U+22F4). The plain membership symbol is ∈ (∈, U+2208).
