And yet I type \usepackage[T1]{fontenc} and \fontencoding{T1} out of habit — should I be typing t1 instead No the option and the encoding are both called T1 not t1, so if you type t1 instead it doesn't work.