| Symbol Name | Models |
| Unicode Version | 1.1 |
| Unicode | U+22A7 |
| Unicode block | |
| General category | Math Symbol (Sm) |
| CSS Code | \22A7 |
| Hex Code | 0x22A7 |
| HTML Code | ⊧ |
| LaTeX | \mathrm{⊧} |
| Symbol | ⊧ |
| URL encode (UTF-8 percent) | %E2%8A%A7 |
| Spoken / screen reader name | Models |
| UTF-8 | E2 8A A7 |
| UTF-16 | 22A7 |
| UTF-32 | 000022A7 |
1\documentclass{article}2\usepackage{pifont}3\mathrm{⊧}4\end{document}You can type the models symbol on most modern devices with the help of following methods:
Alt + 8871 on Windows (numeric keypad with Num Lock), or insert via Character Map.
Edit → Emoji & Symbols, search "models", or use Unicode Hex Input with 22A7.
Ctrl + Shift + U, type 22a7, then Enter (layout-dependent).
Paste from this page, use text replacement, or pick from the symbol keyboard.
Paste from this page or use a keyboard with math symbol support.
1span.models::before { content: "\22A7"; }1<span>⊧</span>Models symbol's representation in different programming languages can be found in the table below:
| Language | Representation |
|---|---|
| JavaScript / TypeScript | '\u22A7' or String.fromCodePoint(0x22A7) |
| Python | '\N{MODELS}' or chr(8871) |
| Rust | '\u{22A7}' |
| C / C++ | UTF-8 source or wchar_t with U+22A7 |
| Go | string(rune(0x22A7)) |
| Ruby | "\u22A7" |