n (mathematics|logic|(w|proof theory)) The
symbol used to represent
(w|logical entailment) (deducibility relation), esp. of the
syntactic type, i.e., syntactic consequence. (Such symbol can be read as "proves".
[http://www.uky.edu/~look/Phi520-Lecture4.pdf])