HTML Entity for Element Of With Vertical Bar At End Horizontal Stroke Small (⋴)

Beginner
⏱️ 5 min read
📚 Updated: Jun 2026
🎯 1 Code Example
Unicode U+22F4

What You'll Learn

How to display the Element Of With Vertical Bar At End Horizontal Stroke Small (⋴) in HTML using hexadecimal, decimal, named entity, and CSS escape methods. This character is U+22F4 (ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE SMALL) in the Mathematical Operators block (U+2200–U+22FF)—the small variant of ⋳ (U+22F3, ⋳).

Render it with ⋴, ⋴, the named entity ⋴, or CSS escape \22F4. Do not confuse ⋴ (U+22F4, this symbol) with ∈ (U+2208, standard element of). Compare ⋳ (regular size, U+22F3) when you need the non-small form.

⚡ Quick Reference — Element Of With Vertical Bar At End Horizontal Stroke Small

Unicode U+22F4

Mathematical Operators (small)

Hex Code ⋴

Hexadecimal reference

HTML Code ⋴

Decimal reference

Named Entity ⋴

Small variant (not ∈)

Reference Table
Name           Value
────────────   ──────────
Unicode        U+22F4
Hex code       ⋴
HTML code      ⋴
Named entity   ⋴
CSS code       \22F4
Related        U+22F3 = Regular size (⋳); U+2208 = Element of (∈ ∈)
1

Complete HTML Example

This example demonstrates the Element Of With Vertical Bar At End Horizontal Stroke Small (⋴) using hexadecimal code, decimal HTML code, the named entity, and a CSS content escape:

html
<!DOCTYPE html>
<html>
<head>
 <style>
  #point:after{
   content: "\22F4";
  }
 </style>
</head>
<body>
<p>Element Of With Vertical Bar At End Horizontal Stroke Small using Hexadecimal: &#x22F4;</p>
<p>Element Of With Vertical Bar At End Horizontal Stroke Small using HTML Code: &#8948;</p>
<p>Element Of With Vertical Bar At End Horizontal Stroke Small using HTML Entity: &isins;</p>
<p id="point">Element Of With Vertical Bar At End Horizontal Stroke Small using CSS Entity: </p>
</body>
</html>
Try it Yourself

🌐 Browser Support

The Element Of With Vertical Bar At End Horizontal Stroke Small entity is universally supported in modern browsers:

Chrome 1+
Firefox 1+
Safari 1+
Edge 12+
Opera 4+
Android 4.4+
iOS Safari 1+

👀 Live Preview

See the small variant (⋴) compared with the regular (⋳) and standard element-of (∈) symbols:

Inline text Small variant: xS
Large glyph
vs regular xS  ·  xS
vs &isin; &isins; ⋴   vs   &isin;
Numeric refs &#x22F4; &#8948; &isins;

🧠 How It Works

1

Hexadecimal Code

&#x22F4; uses the Unicode hexadecimal value 22F4 to display this small variant symbol. The x prefix indicates hexadecimal format.

HTML markup
2

Decimal HTML Code

&#8948; uses the decimal Unicode value 8948 to display the same character.

HTML markup
3

Named Entity

&isins; is the semantic named entity for this small variant—not &isin; (U+2208). Easiest to read in set-theory markup.

HTML markup
4

CSS Entity

\22F4 is used in CSS stylesheets, particularly in the content property of pseudo-elements like ::before and ::after.

CSS stylesheet
=

Same visual result

All four methods produce the small variant glyph: . Unicode U+22F4 in the Mathematical Operators block (U+2200–U+22FF).

Use Cases

The Element Of With Vertical Bar At End Horizontal Stroke Small (⋴) commonly appears in:

📐 Set theory

Fine-grained membership notation where the small variant is required.

🎓 Education

Textbooks and courses distinguishing regular vs small operator forms.

📝 Logic

Formal logic and proof writing with compact notation.

💻 CS docs

Type systems and formal semantics using operator size variants.

📰 Research

Papers needing both ⋳ and ⋴ rendered correctly in HTML.

🌐 Symbol guides

Unicode and entity reference pages for math operators.

💡 Best Practices

Do

  • Use &isins; for this small variant (U+22F4)
  • Use &isin; only for standard element of (U+2208)
  • Pair with ⋳ documentation when both sizes appear on one page
  • Use math-friendly fonts for clear small-glyph rendering
  • Serve pages with UTF-8 (<meta charset="utf-8">)

Don’t

  • Confuse &isins; (⋴) with &isin; (∈)
  • Use ⋴ when ⋳ or ∈ is the correct operator
  • Put CSS escape \22F4 in HTML text nodes
  • Assume all fonts distinguish ⋳ and ⋴ clearly at small sizes
  • Mix entity styles randomly in one file

Key Takeaways

1

Three HTML references plus CSS all render ⋴

&#x22F4; &#8948; &isins;
2

For CSS stylesheets, use the escape in the content property

\22F4
3

Unicode U+22F4 — small vertical-bar element-of variant

4

&isins; is not the same as &isin; (U+2208)

5

Regular size is ⋳ (&isinsv;, U+22F3)

❓ Frequently Asked Questions

Use &#x22F4; (hex), &#8948; (decimal), &isins; (named), or \22F4 in CSS content. All produce ⋴.
U+22F4 (ELEMENT OF WITH VERTICAL BAR AT END OF HORIZONTAL STROKE SMALL). Mathematical Operators block (U+2200–U+22FF). Hex 22F4, decimal 8948.
When your notation specifically requires the small variant of the vertical-bar element-of operator, as opposed to the regular-size ⋳ or standard ∈.
&isins; renders ⋴ (U+22F4, small vertical-bar variant). &isin; renders ∈ (U+2208, standard element of). They are different characters with different named entities.
HTML entities (&#8948;, &#x22F4;, or &isins;) go directly in markup. The CSS escape \22F4 is used in stylesheets, typically in the content property of pseudo-elements. Same visual result, different layers of the stack.

Explore More HTML Entities!

Discover 1500+ HTML character references — math operators, set theory symbols, and more.

All HTML Entities →

About the author

Mari Selvan M P
Mari Selvan M P 🔗

Developer, cloud engineer, and technical writer

  • Experience 12 years building web and cloud systems
  • Focus Full Stack Development, AWS, and Developer Education

I write practical tutorials so students and working developers can learn by doing—from databases and APIs to deployment on AWS.

8 people found this page helpful