@JohannaF_math I'm writing something where I'm being careful about the difference between a theory and a particular computable enumeration of the axioms of that theory. How bad is it if I write theories like $T$, in the usual math font, and enumerations in mathrm?