”, “ ( ∃ x ) . f ⁡ x ”, etc. , but the most general form of their combinations.

421