This includes coding, technical readouts ... There are plenty of other formal fonts out there to use, but Times New Roman has been the standard for that kind of thing for decades.