LaTeX for logicians
Tikz graphics
Deontic hexagram source code
(Tikz graphics)
Schrödinger's cat
(Tikz graphics)
