Quando você não conseguir provar algo; U+22AC ⊬ does not prove: é o negado de ⊢, o indicador de "NÃO É POSSÍVEL PROVAR QUE", por exemplo T ⊬ P quer dizer "P NÃO é um TEOREMA de T" ref; https://pt.wikipedia.org/wiki/Lista_de_s%C3%ADmbolos_l%C3%B3gicos