☰

¿El estilo de visualización del entorno alineado con amsmath es predeterminado?

tag-icon • tag-icon amsmath displaystyle
¿El estilo de visualización del entorno alineado con amsmath es predeterminado?

¿El alignedentorno es automático \displaystyle? Esta prueba parece indicar que es:

\documentclass{article}
\usepackage{amsmath}

\begin{document}
  \(\begin{aligned}
    \int_{0}^{\pi}f(x)dx &= \frac{1}{\pi} \\
  \end{aligned}\)

  \(\int_{0}^{\pi}f(x)dx = \frac{1}{\pi} \)
\end{document}

Además, amsmath.stycontiene el siguiente código:

\newcommand{\start@aligned}[2]{%
    \RIfM@\else
        \nonmatherr@{\begin{\@currenvir}}%
    \fi
    \savecolumn@ % Assumption: called inside a group
    \alignedspace@left
    \if #1t\vtop \else \if#1b \vbox \else \vcenter \fi \fi \bgroup
        \maxfields@#2\relax
        \ifnum\maxfields@>\m@ne
            \multiply\maxfields@\tw@
            \let\math@cr@@@\math@cr@@@alignedat
            \alignsep@\z@skip
        \else
            \let\math@cr@@@\math@cr@@@aligned
            \alignsep@\minalignsep
        \fi
        \Let@ \chardef\dspbrk@context\@ne
        \default@tag
        \spread@equation % no-op if already called
        \global\column@\z@
        \ialign\bgroup
           &\column@plus
            \hfil
            \strut@
            $\m@th\displaystyle{##}$%
            \tabskip\z@skip
           &\column@plus
            $\m@th\displaystyle{{}##}$%
            \hfil
            \tabskip\alignsep@
            \crcr
}

Desafortunadamente, no soy un gran hacker tex, así que no puedo estar seguro, pero la definición de macro incluye \displaystyle. Sin embargo, no pude rastrear esta información en la documentación. La Sección 3 (guía del usuario de amsmath) enumera las ecuaciones mostradas, pero alignedno se encuentra entre ellas.

¿Existe una buena manera de determinar si un entorno matemático determinado lo es \displaystyle? Normalmente, habría asumido que los valores matemáticos en línea por defecto no se muestran, pero el alignedentorno se usa dentro de \(\)o $$.

Respuesta1

El código contiene la pieza.

\ialign\bgroup % spaces before and after & included for clarity
       & \hfil$\m@th\displaystyle{#}$ & $\m@th\displaystyle{{}#}$\hfil \crcr
%        \____________  ____________/   \_____________  _____________/
%                     \/                               \/
%         first column specification       second column specification

He eliminado muchas cosas que son irrelevantes; También he introducido espacios alrededor del signo comercial &para mayor claridad, aunque el espacio anterior es realmente importante; y lo he reemplazado ##por un single #, ya que la duplicación surge de las reglas habituales de TeX para definiciones anidadas. Olvídate del primero &por el momento. \ialignes una forma inicializada de \halign, la primitiva TeX para alineación horizontal (establece la distancia entre columnas en cero). La primera columna tiene la especificación.

\hfil $\m@th\displaystyle{#}$

que significa "matemáticas de estilo de visualización alineadas a la derecha". Usando la notación del arraypaquete, este sería un especificador de columna del formulario

>{$\m@th\displaystyle\bgroup}r<{\egroup$}

La segunda columna contiene

$\m@th\displaystyle{{}#}$\hfil

que significa "matemáticas de estilo de visualización alineadas a la izquierda y comenzar con un \mathordátomo vacío" (importante para el espaciado correcto).

¿Qué pasa con el primero &de la fila, al que primero le dije que ignorara? Esa es una construcción TeX; citando el TeXBook (p. 241)

Los preámbulos suelen tener una estructura periódica, y si pones un extra &justo antes de una de las plantillas, TeX considerará que el preámbulo es una secuencia infinita que comienza de nuevo en la plantilla marcada cuando se \cralcanza.

Por lo tanto, esta secuencia de columnas alineadas a la derecha y alineadas a la izquierda se puede repetir indefinidamente. Entonces, el alignedentorno corresponde básicamente a una tabla con rlrlrlrl...columnas repetidas, todo en modo matemático de estilo de visualización.

información relacionada