Modo de párrafo dentro de una ecuación matemática o reutilización de columnas de matriz

Question

Mi problema es que quiero reutilizar el espaciado en una determinada ecuación matemática como:

\begin{equation}
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
... & := &  ... \\[4mm]
    & =: &  ...
\end{array}
\end{equation}

A esta ecuación le sigue algo de texto y luego quiero repetir la ecuación anterior con los mismos espacios entre las columnas de la matriz. ¿Es posible? Fuera de la caja obtendré otro espaciado hecho por tex en base a los símbolos matemáticos.

Quizás sea posible ceñirse a un entorno de ecuación e insertar el texto en la ecuación. Sin embargo \mbox{...}, o \text{...}no es lo suficientemente bueno porque el textodebeAparece en modo párrafo, alineado a la izquierda con respecto a la página.

Escriba la respuesta de Harish Kumar a MWE de mi problema:

\documentclass{article}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{relsize}
\usepackage{stmaryrd}
\usepackage{bm}

\begin{document}

\noindent 
Example 1 (not ok):
\begin{align}
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
a \cdot b & := &  a \cdot \mathlarger{\llbracket\,} 0, \, b \mathlarger{\,\rrbracket} \\[4mm]
    & =: &  ...
\end{array}
\intertext{In the group this means that ... }
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
a & = &  b.
\end{array}
\end{align}
Example 2 (ok):
\begin{align}
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
a \cdot b & := &  a \cdot b \\[4mm]
    & =: &  ...
\end{array}
\intertext{In the group this means that ... }
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
a & = &  b.
\end{array}
\end{align}

\end{document}

Answer 1

Puedes usar aligny (short)intertext:

\documentclass{article}
\usepackage{mathtools,lipsum}
\begin{document}
  \begin{align}
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
... & := &  ... \\[4mm]
    & =: &  ... 
\end{array}
\intertext{\lipsum*[1]}      %% or \shortintertext{\lipsum*[1]} from mathtools
\begin{array}{l@{\hspace{3mm}}c@{\hspace{3mm}}l}
... & := &  ... \\[4mm]
    & =: &  ... 
\end{array}
\end{align}
\end{document}

Tratando la pregunta editada:

arrayTambién puedes deshacerte de :

\documentclass{article}
\usepackage{showframe}   %% just for demo
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{relsize}
\usepackage{stmaryrd}
\usepackage{bm}

\newcommand{\h}[1]{\widehat{\bm{#1}}}
\newcommand{\he}{\ensuremath{\tfrac{1}{2}}}
\newcommand{\quat}[2]{\mathlarger{\llbracket\,} \cos{(\he#2)}, \, \sin{(\he#2)} \,\h{#1} \mathlarger{\,\rrbracket}}
\newcommand{\quatv}[1]{\mathlarger{\llbracket\,} 0, \,\h{#1} \mathlarger{\,\rrbracket}}

\begin{document}

\begin{align}
 \quatv{b} \cdot \quatv{a} & := \mathlarger{\llbracket} -\h{b}\cdot\h{a}, \, \h{b}\times\h{a} \mathlarger{\,\rrbracket} \quad \equiv \quad \mathlarger{\llbracket\,} \h{a}\cdot\h{b}, \, \h{a}\times\h{b} \mathlarger{\,\rrbracket} = \\[4mm]
 & =:  \quat{n}{\gamma}.\\
\intertext{In the group this means that ... }
 L_b \circ L_a & =:   R(\gamma \h{n}).
\end{align}

\end{document}

Si esto se prolonga, puede agregarlo \allowdisplaybreaksen su preámbulo.

Answer 2

Otra solución con un código algo más simple y, por tanto, más legible. Lo uso mathtoolsen lugar de amsmathy xparsecon permite definir un \Braketcomando con una sintaxis simple (1 argumento). Utilizo los comandos coloneqqy eqqcolon, que producen dos puntos centrados verticalmente (que no es el caso de :=). La alineación y numeración propiamente dichas se obtienen mediante el anidamiento alignedde entornos en un aligncontenedor.

\documentclass{article}

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{stmaryrd}
\usepackage{bm}

\newcommand{\h}[1]{\widehat{\bm{#1}}}
\newcommand{\he}{\ensuremath{\tfrac{1}{2}}}
\newcommand{\myquat}[2]{\Brackets[\big]{\cos{(\he#2)}, \sin{(\he#2)} \,\h{#1}}}
\newcommand{\myquatv}[1]{\Brackets[\big]{0,\h{#1}}}
%
\usepackage{xparse}
\DeclarePairedDelimiterX{\Brackets}[1]{\llbracket}{\rrbracket}{\setargs{#1}}
\NewDocumentCommand{\setargs}{ >{\SplitArgument{1}{,}}m }
 {\setargsaux#1}
\NewDocumentCommand{\setargsaux}{ m m }
 {#1,\,#2\mkern1.5mu}

\begin{document}

\begin{align}
 \myquatv{b} \cdot \myquatv{a} &
\begin{aligned}[t]{}\coloneqq {}& \Brackets[\big]{-\h{b}\cdot\h{a},\h{b}\times\h{a}}\equiv  \Brackets[\big]{ \h{a}\cdot\h{b}, \h{a}\times\h{b}} = \\[4mm]
\eqqcolon {}& \myquat{n}{\gamma}.% \mathllap{}
\end{aligned}
\intertext{In the group this means that ... }
 L_b \circ L_a &\begin{aligned}[t]
 {}\eqqcolon{} &    R(\gamma \h{n}).
\end{aligned}
\end{align}

\end{document}