I am currently writing up some notes in , including jotting down a sequent system. I have typed up a sequent system in before, but could not remember how I did it and cannot find the .tex source for it. So I headed down to the excellent for Logicians to refresh my memory.
How am I typesetting the logo in this post you ask? Well, whilst searching for and logic, I also discovered the possibility of including in WordPress posts. Here is an article discussing this: http://www.logicnest.com/using-latex-in-wordpress. Great stuff!