About option key
Option Key is the character ⌥, encoded as U+2325. Use its exact code point to distinguish it from similar-looking characters when copying into a document or writing HTML.
How to type ⌥
Source-checked methodsMicrosoft Word
Windows desktopUnicode conversion in Word for Windows
Type 2325, select those hexadecimal digits, then press Alt + X to insert ⌥.
Applies to Word for Windows. Use a font that contains the character. This is Unicode conversion, not a Windows Alt code.
Source documentationmacOS
Character ViewerCharacter Viewer
Choose Edit → Emoji & Symbols, search for “option key” or its code 2325, then select the character to insert it.
Expand Character Viewer if needed. Available characters depend on font support.
Apple documentationMicrosoft Excel
Formula=UNICHAR(8997)
Enter =UNICHAR(8997) in a cell to return ⌥.
Excel 2013 or later. The English function name is shown; localized Excel may use another name. Paste values if you need text without a formula.
Source documentationGoogle Docs
Desktop pickerInsert → Special characters
On a computer, choose Insert → Special characters and search for U+2325 or option key. Select the matching symbol.
Google Docs and Slides on desktop. If the picker does not offer the symbol, copy it here and paste it into your document.
Source documentationLinux
GNOME / GTKCtrl + Shift + U, 2325, Enter
In a compatible GNOME/GTK text field, press Ctrl + Shift + U, release the keys, type 2325, then press Enter.
Applies to GNOME/GTK Unicode entry, not every Linux application. Use copy and paste when the app intercepts this shortcut.
Source documentationFor iPhone and Android, you can copy the character above and paste it into an app that supports it.
Using it in HTML
Insert ⌥ in HTML text, or paste ⌥ directly in a UTF-8 document. If a box appears instead of the character, choose a font with support for U+2325.