Le caractère "⊨ " est appellé Véritable ( True ). Il appartient à la catégorie Opérateurs mathématiques des caractères HTML Entities. Son code est "⊨ ⊨ ". Il est représenté par le code décimal "⊨ " et sa représentation en hexadécimal est "⊨ ".