This example tests that <mfrac> interacts properly with the
displaystyle attribute. In particular, it should set
displaystyle to false for its children, or if it was already
false, increase the scriptlevel for its children.