⎇ Alternative Key Symbol

How to type Alternative Key Symbol 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 Alternative Key Symbol 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 Alternative Key Symbol in HTML?

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

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

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

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

How to add Alternative Key Symbol in CSS?

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

.symbol::after {
  content: "\2387";
}

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

How to add Alternative Key Symbol in JavaScript / JSON?

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

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

{
  "symbol": "\u2387"
}

How to add Alternative Key Symbol in URL / Query string?

Use percent-encoding. In JavaScript, use encodeURIComponent.

https://example.com?q=%E2%8E%87

How to add Alternative Key Symbol 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 2387 and press Alt+X to convert it.

=UNICHAR(9095)

Encoding notes

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