Logic: A → propositional symbol that represents any → proposition whatsoever.
See also: → propositional; → variable.