\begin{definition}[Definition:Language of Propositional Logic/Alphabet/Sign]
Let $\mathcal L_0$ be a formal language which specifies the propositional calculus.
Let $\mathcal A$ be the alphabet of $\mathcal L_0$.
<section notitle="true" name="tc">
The signs of the alphabet of $\mathcal L_0$ come in two categories:
\end{definition}