⋳ Element Of With Vertical Bar At End Of Horizontal Stroke

How to type Element Of With Vertical Bar At End Of Horizontal Stroke on Mac / Windows / Linux?

Windows: Use the Emoji Panel (Win + .) or copy/paste ⋳.

macOS: Use Character Viewer (Control + Command + Space) and search by name, or copy/paste.

Linux: Use the Character Map app or a Compose key sequence, then paste into your app.

How to type Element Of With Vertical Bar At End Of Horizontal Stroke on iOS / Android?

On iOS, long-press the globe/emoji key and search in the symbol picker, or paste the symbol.

On Android, open the symbols keyboard or use your app’s character panel, then paste.

How to add Element Of With Vertical Bar At End Of Horizontal Stroke in HTML?

Use an HTML entity, a decimal code, or a hex code. All of them render the same symbol in your markup.

<span>&#8947; symbol</span>

<span>&#8947; symbol</span>

<span>&#x22F3; symbol</span>

How to add Element Of With Vertical Bar At End Of Horizontal Stroke in CSS?

CSS escapes work inside the content property. This is most useful with ::before or ::after.

.symbol::after {
  content: "\22F3";
}

<span class="symbol"></span>

How to add Element Of With Vertical Bar At End Of Horizontal Stroke in JavaScript / JSON?

Use Unicode escapes in strings for a stable, language-neutral representation.

const symbol = "\u22F3";
console.log(symbol);

{
  "symbol": "\u22F3"
}

How to add Element Of With Vertical Bar At End Of Horizontal Stroke in URL / Query string?

Use percent-encoding. In JavaScript, use encodeURIComponent.

https://example.com?q=%E2%8B%B3

How to add Element Of With Vertical Bar At End Of Horizontal Stroke in Word / Google Docs / Excel?

In Word or Google Docs, go to Insert → Symbol (or Special Characters) and search the Unicode name.

In Word, you can type 22F3 and press Alt+X to convert it.

=UNICHAR(8947)

Encoding notes

UTF-8 and UTF-16 byte sequences are listed above for developer tools, debugging, or data pipelines.