iOS default font is Times New Roman

In iOS, *Times Roman* does not exist so we substitute *Times New Roman* as the default font.