I didn’t realize the storied history of the Arial font. I wonder if Times New Roman has an equivalent story behind it.