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: Great stuff!