Well-Formed Formulas and the Main Operator

Punctuation is not decoration, and the main operator decides what kind of statement a formula is