Fix inconsistent record expression

[ShinWonho]

...

    e. Let :math:`\exportinst_i` be the :ref:`export instance <syntax-exportinst>` :math:`\{\EINAME~(\export_i.\ENAME), \EIVALUE~\externval_i\}`.

19. Let :math:`\exportinst^\ast` be the concatenation of the :ref:`export instances <syntax-exportinst>` :math:`\exportinst_i` in index order.

20. Let :math:`\moduleinst` be the :ref:`module instance <syntax-moduleinst>` :math:`\{\MITYPES~(\module.\MTYPES),` :math:`\MIFUNCS~\funcaddr_{\F{mod}}^\ast,` :math:`\MITABLES~\tableaddr_{\F{mod}}^\ast,` :math:`\MIMEMS~\memaddr_{\F{mod}}^\ast,` :math:`\MIGLOBALS~\globaladdr_{\F{mod}}^\ast,` :math:`\MIEXPORTS~\exportinst^\ast\}`.

...

Record expression on step 20 in Modules should be expressed in a single math. Other record expression, such as record expression on step 18-e in the same algorithm, is expressed in a single math.

[rossberg]

Thanks, but this actually is an intentional hack to allow for line breaks, which Sphinx otherwise would refuse to do. :(

[ShinWonho]

Oh, I see. Thank you for the answer!