⊨
TRUE
Unicode
U+22A8
HTML
⊨
< See All Characters