Skip to content

U+22A6 · Mathematical Operators

Assertion

Assertion is the Unicode character U+22A6 (official name “ASSERTION”) from the Mathematical Operators block. It belongs to SymbolHero’s math symbols collection. Copy it with the button, or use the codes and keyboard methods below to type it yourself.

UnicodeU+22A6
HTML
U+22A6

Character codes

Unicode code pointU+22A6
Decimal8870
HTML (hex)
HTML (decimal)
CSS\22A6
JavaScript\u22A6
Python\u22A6
UTF-8 bytesE2 8A A6
UTF-1622A6
URL-encoded%E2%8A%A6

Character details

Official nameASSERTION
Unicode blockMathematical Operators
General categoryMath Symbol (Sm)
SymbolHero categoryMath Symbols
EmojiNo

How to type ⊦

Windows

  • In Microsoft Word or Outlook: type 22A6 then press Alt + X.
  • Open Character Map (search “Character Map” in Start), tick “Advanced view”, search for “assertion”, then Select and Copy.

Mac

  • Press Control + Command + Space to open the Character Viewer, search “assertion”, and double-click the result.
  • With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type 22A6.

iPhone & Android

  • Tap Copy at the top of this page, then long-press where you want it and choose Paste.

Docs & web

  • Google Docs: Insert → Special characters, then search “assertion” or enter U+22A6.
  • HTML:
  • Excel / Google Sheets: =UNICHAR(8870)

Questions

What is the Unicode for ⊦?

It is U+22A6 (ASSERTION), decimal 8870.

Is there a Windows Alt code for it?

No standard Alt code exists for this character. In Word type 22A6 then Alt+X, or copy it from this page.

How do I type it on a Mac?

There is no built-in Option shortcut. Use the Character Viewer (Control + Command + Space) and search “assertion”, or copy it from this page.

What is the HTML code?

Use the numeric reference ⊦ (or ⊦). There is no named entity.