(Wink)
(Wink)
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
LyX
This is also a great help in writing articles and papers for class.