⊦

Assertion Symbol (⊦)

Copy the Assertion symbol ⊦ to your clipboard, and see its Unicode code point, HTML entity, LaTeX command and how to type it on any device.

What does ⊦ mean?

⊦ (Assertion, U+22A6) belongs to the Unicode Mathematical Operators block. It is used in specialist mathematical notation; meaning can vary between fields, so check the conventions of the text you are working with.

Codes and properties

Character⊦
Unicode nameASSERTION
Code pointU+22A6
Decimal8870
Unicode blockMathematical Operators
HTML entity⊦ · ⊦
CSS\22A6
JavaScript / JSON\u22A6
Python\u22A6 or \N{ASSERTION}
UTF-8 bytesE2 8A A6
LaTeXpaste ⊦ with unicode-math (XeLaTeX/LuaLaTeX)

How to type ⊦

  • Copy & paste: press the Copy button above, then paste ⊦ anywhere — Word, Google Docs, email, chat or code.
  • Windows (Word, WordPad, Outlook): type 22A6 then press Alt+X. In any app, Win+. opens the symbol panel.
  • Mac: switch to the Unicode Hex Input keyboard, hold Option and type 22A6; or press Ctrl+Cmd+Space and search “assertion”.
  • Linux (GTK/IBus): press Ctrl+Shift+U, type 22a6, then Space.
  • HTML: ⊦ renders as ⊦.
  • LaTeX: standard LaTeX has no dedicated command; compile with XeLaTeX or LuaLaTeX and the unicode-math package, then paste ⊦ directly.

Frequently asked questions

How do I type ⊦ on Windows?

In Microsoft Word type 22A6 and press Alt+X. In any app press Win+. to open the symbol panel, or copy ⊦ from this page.

What is the HTML code for ⊦?

Use ⊦ (hex) or ⊦ (decimal).

What is the LaTeX command for ⊦?

There is no standard command; use XeLaTeX or LuaLaTeX with unicode-math and paste ⊦ directly.

Related symbols