\begin{definition}[Definition:Language of Propositional Logic/Alphabet]
The alphabet $\AA$ of the language of propositional logic $\LL_0$ is defined as follows:
<section notitle="true" name="tc">
=== Letters ===
{{:Definition:Language of Propositional Logic/Alphabet/Letter}}
{{transclude:Definition:Language of Propositional Logic/Alphabet/Sign
  |section = def
  |title = Signs
  |header = 3
  |link = true
  |increase = 1
}}
</section>
\end{definition}