You Deserve Unicode TLA+, and Other Nice Things Too