⊧

Models Symbol (⊧)

Copy the Models 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?

⊧ (Models, U+22A7) 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 nameMODELS
Code pointU+22A7
Decimal8871
Unicode blockMathematical Operators
HTML entity⊧ · ⊧
CSS\22A7
JavaScript / JSON\u22A7
Python\u22A7 or \N{MODELS}
UTF-8 bytesE2 8A A7
LaTeX\models

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 22A7 then press Alt+X. In any app, Win+. opens the symbol panel.
  • Mac: switch to the Unicode Hex Input keyboard, hold Option and type 22A7; or press Ctrl+Cmd+Space and search “models”.
  • Linux (GTK/IBus): press Ctrl+Shift+U, type 22a7, then Space.
  • HTML: ⊧ renders as ⊧.
  • LaTeX: \models in math mode (amssymb package for some symbols).

Frequently asked questions

How do I type ⊧ on Windows?

In Microsoft Word type 22A7 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 ⊧?

Use \models in math mode.

Related symbols