A formal language consists of a fixed collection of sentences (also called words or formulas, depending on the context) composed from a fixed set of letters or symbols.
A formal language \mathcal{W} can be defined with the alphabet \alpha = \{ \triangle, \square \}, and with a word being in \mathcal{W} if it begins with \triangle and is composed solely of the symbols \triangle and \square.