[spec] Tweak math layout

Author: rossberg

document/core/exec/numerics.rst

@@ -161,48 +161,49 @@ Floating-Point
 where :math:`M = \significand(N)` and :math:`E = \exponent(N)`.
 
 
-.. index:: byte, little endian, memory
-.. _aux-littleendian:
-.. _aux-bytes:
+.. index:: numeric vector, shape, lane
+.. _aux-lanes:
 
-Storage
+Vectors
 .......
 
-When a number is stored into :ref:`memory <syntax-mem>`, it is converted into a sequence of :ref:`bytes <syntax-byte>` in |LittleEndian|_ byte order:
+Numeric vectors have the same underlying representation as an |i128|.
+They can also be interpreted as a sequence of numeric values packed into a |V128| with a particular |shape|.
 
 .. math::
+   \begin{array}{l}
    \begin{array}{lll@{\qquad}l}
-   \bytes_t(i) &=& \littleendian(\bits_t(i)) \\[1ex]
-   \littleendian(\epsilon) &=& \epsilon \\
-   \littleendian(d^8~{d'}^\ast~) &=& \littleendian({d'}^\ast)~\ibits_8^{-1}(d^8) \\
+   \lanes_{t\K{x}N}(c) &=&
+     c_0~\dots~c_{N-1} \\
+   \end{array}
+   \\ \qquad
+     \begin{array}[t]{@{}r@{~}l@{}l@{~}l@{~}l}
+     (\where & B &=& |t| / 8 \\
+     \wedge & b^{16} &=& \bytes_{\i128}(c) \\
+     \wedge & c_i &=& \bytes_{t}^{-1}(b^{16}[i \cdot B \slice B]))
+     \end{array}
    \end{array}
 
-Again these functions are invertible bijections.
+These functions are bijections, so they are invertible.
 
 
-.. index:: numeric vectors, shape
-.. _aux-lanes:
+.. index:: byte, little endian, memory
+.. _aux-littleendian:
+.. _aux-bytes:
 
-Vectors
+Storage
 .......
 
-Numeric vectors have the same underlying representation as an |i128|. They can also be interpreted as a sequence of numeric values packed into a |V128| with a particular |shape|.
+When a number is stored into :ref:`memory <syntax-mem>`, it is converted into a sequence of :ref:`bytes <syntax-byte>` in |LittleEndian|_ byte order:
 
 .. math::
-   \begin{array}{l}
    \begin{array}{lll@{\qquad}l}
-   \lanes_{t\K{x}N}(c) &=&
-     c_0~\dots~c_{N-1} \\
-   \end{array}
-   \\ \qquad
-     \begin{array}[t]{@{}r@{~}l@{}}
-     (\where & B = |t| / 8 \\
-     \wedge & b^{16} = \bytes_{\i128}(c) \\
-     \wedge & c_i = \bytes_{t}^{-1}(b^{16}[i \cdot B \slice B]))
-     \end{array}
+   \bytes_t(i) &=& \littleendian(\bits_t(i)) \\[1ex]
+   \littleendian(\epsilon) &=& \epsilon \\
+   \littleendian(d^8~{d'}^\ast~) &=& \littleendian({d'}^\ast)~\ibits_8^{-1}(d^8) \\
    \end{array}
 
-These functions are bijections, so they are invertible.
+Again these functions are invertible bijections.
 
 
 .. index:: integer

document/core/util/macros.def

@@ -1197,8 +1197,8 @@
 .. |ieee| mathdef:: \xref{exec/numerics}{aux-ieee}{\F{float}}
 .. |nans| mathdef:: \xref{exec/numerics}{aux-nans}{\F{nans}}
 .. |trunc| mathdef:: \xref{exec/numerics}{aux-trunc}{\F{trunc}}
-.. |satu| mathdef:: \xref{exec/numerics}{aux-sat_u}{\F{sat}^{\K{u}}}
-.. |sats| mathdef:: \xref{exec/numerics}{aux-sat_s}{\F{sat}^{\K{s}}}
+.. |satu| mathdef:: \xref{exec/numerics}{aux-sat_u}{\F{sat\_u}}
+.. |sats| mathdef:: \xref{exec/numerics}{aux-sat_s}{\F{sat\_s}}
 
 .. |lanes| mathdef:: \xref{exec/numerics}{aux-lanes}{\F{lanes}}