answered 11 years ago
Sorry for posting the question without googling enough.
The right way to set the font is
plt.rc('font', family = 'serif', serif = 'cmr10')