A symbol employed in a formal Propositional Calculus.
References
Nidditch, P. H. Propositional Calculus. New York: Free Press of Glencoe, p. 1, 1962.