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).