One learns to post in symbols! You can use LaTeX tags.
[tex] \neg \vee \wedge \Rightarrow \equiv \forall \exists [/tex] gives .
You can download LaTex for free.
Here is a link to instructions on how to install LyX
This is also a great help in writing articles and papers for class.