Is this going to use a diffeent font for the fractional part of the theorem number than for the rest?