Equations

[filip]

Hi,
where can I find all commands that can be run? How do I make implication
arrows and such?

Best regards
Filip