Technically, it's not actually Times New Roman, as you can't just switch the font in the middle of a Tweet or something. Instead, the original post and this script (ab)use the serif-styled letters from the Unicode Mathematical Alphanumeric Symbols block . This script just converts 6 out of 7 letters from being "normal" to their Mathematical.