Latex, Logic and WordPress

I am currently writing up some notes in $\LaTeX$, including jotting down a sequent system. I have typed up a sequent system in $\LaTeX$ before, but could not remember how I did it and cannot find the .tex source for it. So I headed down to the excellent $\LaTeX$ for Logicians to refresh my memory.

How am I typesetting the $\LaTeX$ logo in this post you ask? Well, whilst searching for $\LaTeX$ and logic, I also discovered the possibility of including $\LaTeX$ in WordPress posts. Here is an article discussing this: http://www.logicnest.com/using-latex-in-wordpress. Great stuff!