In line 4796, two different styles were used to display almost the same thing:
blah blah \verb"'dx is 3'" blah blah {\tt 'dy is 4'} blah

They have different displaying effects. Why they are used in this way?