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.
