I wanted to quickly submit (a cleaned-up version of) "judgmental deconstruction of modal logic" to IMLA, and I figured I should hack up a nice little summary figure with diagrams for all the encodings, so I took a look at TikZ, since spoons recommended it to me some time ago.
I would like to say it's not the be-all and end-all of LaTeX graphics packages, except that it is. Oh my god, it has everything. _tove: you are free to make fun of me for drooling over the lovely faded-out primary-color color-scheme that is used throughout the examples.
Here is the revised version if you would like to see the diagrams. TikZ is super slow to run, but it does make nice graphics rather convenient.