[acchow]

Although in propositional logic we can say:

x ⊢ y

which means "x proves y".