Quando você conseguir provar algo; x ⊢ y (significa y PERMITE SER PROVADO a partir de x (em um sistema formal especificado) ref; https://pt.wikipedia.org/wiki/Lista_de_s%C3%ADmbolos_l%C3%B3gicos