Le caractère "⊬ " se nomme Ne prouve pas ( Does not prove ). Il appartient à la catégorie Opérateurs mathématiques des caractères HTML Entities. Son code est "⊬ ". Sa représentation décimal est "⊬ " et il est représenté par le code hexadécimal "⊬ ".