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