Deduction symbols =>,<=,<=> (for necessary and sufficient conditions)

Existential symbol ┑ (used for existential proposition)

It is better to find any symbol "A is written backwards" (full name proposition) in the formula editor.

Propositions should use the symbol p q P(x).