2012-09-14 14:57:24+00:00 type (some) TeX and (sometimes) get equivalent unicode, for pasting into things like tweets unicodeit.net