In line 16, page 324 of "The METAFONTbook", would it be better to use typewriter font for the dot as well as the brackets in "[c.x]"?<div>Also, in the following line, change "[65.3]" to typewriter font since we have typewriter-style "[5.0.7]" on page 119 of "The TeXbook".</div>