Compatibilidad con LaTeX en Microsoft 365

Las aplicaciones de Microsoft 365 (Word, Excel y PowerPoint) pueden convertir entre la notación matemática LaTeX y office math markup language (OMML). En este documento se describen los comandos y símbolos de LaTeX admitidos durante la importación (LaTeX a OMML) y la exportación (OMML a LaTeX).

Importar (LaTeX → Office Math)

Cuando escribe o pega LaTeX en una zona matemática y se convierte en Office Math, se reconocen los siguientes comandos.

Delimitadores LaTeX

Al pegar texto en aplicaciones de Microsoft 365, solo se reconocerá como LaTeX si se incluye en uno de estos pares delimitadores:

Cuando se usa Insertar ecuación, Convertir en formato profesional o LaTeX en matemáticas, los delimitadores de LaTeX no son necesarios, pero se procesan si se especifican.

Fracciones y binomios

Raíces

Superíndices, subíndices y scripts previos

Delimitadores y corchetes

Pares delimitadores

\left...\right los delimitadores siempre crean un nodo delimitador. Si falta, \right se genera un delimitador con un invisible más cerca.

Los pares de corchetes (expr) sin sistema operativo y [expr] los pares de comandos delimitadores sin \left...\right se comparan mediante el análisis especulativo: el convertidor guarda su posición, intenta encontrar una coincidencia más cercana y se revierte si no se encuentra ninguno (emitiendo el abridor como un carácter sin formato en su lugar). El análisis especulativo se realiza para los siguientes pares delimitadores:

Por ejemplo, en (\sum_{i=1}^n i), los paréntesis coincidentes se tratan como un par delimitador, pero en (\sum_{i=1}^n i] el paréntesis abierto y el corchete de cierre no coinciden. Tendría que especificar \left(\sum_{i=1}^n i\right] para un par de delimitadores con paréntesis abiertos y corchete de cierre.

Corchetes dobles (cuadrados blancos)

Todos los patrones siguientes producen ⟦ y ⟧ (U+27E6, U+27E7):

• [\![ y ]\!] : truco de espacio fino negativo con tokens de corchetes
• \lbrack\!\lbrack y \rbrack\!\rbrack : formulario de comandos
• \left[\!\left[ y \right]\!\right] , con \left/\right
• Cualquier mezcla de [ / \lbrack con o sin \left / \right

Acentos

Construcciones por encima y por debajo

Sobreestablecer y subestablecer

Operadores N-ary (grandes)

Todos los siguientes aceptan modificadores y \nolimits opcionales\limits, y subíndice/superíndice opcional para los límites.

Standard nombres de función

Se establecen automáticamente en tipo vertical (roman):

\arccos, \arcsin, \arctan, \arg, \cos, \cosh, \cot, \coth, \csc, \deg, \det, \dim, \exp, \gcd, \hom, \ker, \lg, \ln, \log, \Pr, \sec, \sin, \sinh, \tan, \tanh

\operatorname{name} genera un nombre de operador personalizado en tipo romano.

Funciones de estilo límite

Estos colocan subíndices o superíndices como límites en el modo de visualización:

\lim, \liminf, \limsup, \sup, \inf, \min, \max, \injlim, \projlim, \varinjlim, \varprojlim, \varliminf, \varlimsup

Con \limits el modificador : \lim\limits_{x \to 0}.

Los nombres compuestos como \limsup y \liminf que se convierten como ejecuciones independientes (lim + sup) se reconstruyen automáticamente durante la exportación.

Substack

Aritmética modular

Comandos de fuente

Fuentes en modo matemático

Fuentes en modo texto

En \text{...}, $...$ y \(...\) vuelva al modo matemático.

Fuente de estilo de declaración

Color

Nombres de color reconocidos: black, blue, brown, cyan, darkgray, greengray, grey, , lightgray, lime, magenta, maroon, navy, oliveorange, pink, , purple, red, teal, violet, , whiteyellow.

Boxed y phantom

Negación

\not si se aplica a cualquier relación admitida, se produce el carácter Unicode negado correspondiente. Consulte la tabla de negación siguiente para obtener la lista completa de negaciones admitidas. Cuando no existe ningún punto de código negado dedicado, se aplica un énfasis de superposición sólida larga (U+0338).

Entornos

Entornos de matriz

Use & como separador de columnas y \\ como separador de filas.

Matriz de ecuaciones y alineación

\cr se acepta como separador de filas (sinónimo de \\) en todos los entornos y en \eqalign.

Diagramas conmutativos

\begin{CD} : admite @>>>, @<<<, @VVV, la @AAA sintaxis de flecha (amscd).

Comandos definidos por el usuario

El convertidor admite \newcommand, \renewcommandy \def para macros definidas por el usuario. Las definiciones se procesan en un paso previo antes de que comience el análisis.

Sintaxis admitida

\newcommand{\name}{body}
\newcommand{\name}[n]{body}      % n parameters (1-9)
\renewcommand{\name}[n]{body}
\def\name{body}                  % TeX-style (parameter count auto-detected)

Se hace referencia a los parámetros del cuerpo como #1, , #2..., #9.

Ejemplo

\newcommand{\RR}{\mathbb{R}}
\newcommand{\norm}[1]{\left\| #1 \right\|}
f : \RR \to \RR, \quad \norm{x} \leq 1

Limitaciones

• Recuento de parámetros: Hasta 9 parámetros (#1 a través de #9).
• Límite de expansión: Se realizan un máximo de 500 expansiones de macros totales por entrada. Esto protege contra la recursividad infinita de macros autorreferenciales. Si se alcanza el límite, las invocaciones de macro restantes se dejan sin explorar.
• No hay parámetros opcionales: No se admite la sintaxis \newcommand{\name}[n][default]{body} opcional del primer argumento. Se requieren todos los parámetros.
• No \let o \DeclareMathOperator: Solo \newcommandse reconocen , \renewcommandy \def . No se admiten comandos de nivel de paquete como \DeclareMathOperator, \lety \providecommand .
• Ámbito: Todas las definiciones son globales dentro de la entrada. No hay ningún ámbito basado en grupos: un \def interior {...} está visible en todas partes.
• Orden de definición: Las macros definidas más adelante en la entrada están disponibles para las invocaciones anteriores en la entrada (el paso previo recopila primero todas las definiciones).
• Sin expansión durante la definición: Los cuerpos de macro se almacenan como listas de tokens y se expanden en el momento de la invocación (\def estilo), no en el momento de la definición (\edef estilo).

Ecuaciones y fórmulas químicas

Admite números de subíndice, superíndices para cargos, -> flechas de reacción, + entre especies y otra notación mhchem. Consulte Compatibilidad con mhchem de LaTeX en Microsoft 365 para obtener más información.

Notación dirac

Comandos de espaciado

\mkern y \mskip aceptan muunidades , em, exy pt . Las unidades se convierten a mu internamente (1 em = 18 mu, 1 ex ≈ 9 mu, 1 pt ≈ 1,8 mu).

Limitación : aproximación del espaciado: OMML no tiene un primitivo de espaciado matemático arbitrario. \mkern y \mskip los valores se aproximan mediante la asignación al carácter de espacio Unicode disponible más cercano:

Rango	Carácter de espacio usado
≥ 14 mu	Espacio em U+2003 (18 mu)
9–13 mu	Espacio en U+2002 (~9 mu)
4.5–8 mu	Espacio de tres por em U+2004 (~6 mu)
3.5–4.5 mu	Espacio matemático medio U+205F (~4 mu)
2–3,5 mu	Espacio fino U+2009 (~3 mu)
< 2 mu	Espacio de ancho cero U+200B

Para valores mayores que 18 mu, se emiten varios espacios em para la parte de em completo y el resto fraccionario se asigna mediante la tabla anterior. Los valores están limitados a 2160 mu (aproximadamente 1200 pt).

No se admite el espaciado negativo. OMML no tiene caracteres de espacio de ancho negativo. Cualquier valor cero o negativo (incluido \mskip -3mu) se asigna a un espacio de ancho cero (U+200B). Esta es también la razón por la \! que (espacio fino negativo, −3 mu en LaTeX) se asigna a U+200B en lugar de producir espaciado negativo real.

Comandos de estilo

Operadores matemáticos (personalizados)

Llaves para la agrupación y el ámbito

Llaves { y } se pueden usar para agrupar contenido como operando para un comando prefix. Sin llaves, la mayoría de los comandos de prefijo toman solo el siguiente token único como argumento. Por ejemplo, x^2a_\beta no se necesitan llaves. Pero en x^{ab} las llaves son necesarias. En x^ab, el superíndice solo incluye .a

Para los comandos infix, como \choose, se pueden usar llaves para determinar el ámbito del comando. Por ejemplo, en {a \choose bc}, y cb se incluyen en el segundo operando y en {a \choose b}c, solo b se incluye en el segundo operando.

Letras griegas

Minúsculas

El estilo de cursiva matemática se usa para formularios en minúsculas variantes (\varepsilon, \vartheta, etc.) y formularios en minúsculas novariables (\epsilon, \theta, etc.).

Mayúsculas

El estilo de cursiva matemática se usa para las formas en mayúsculas variantes (\varGamma, \varDelta, etc.) y el estilo vertical se usa para las formas mayúsculas novariables (\Gamma, \Delta, etc.).

Símbolos

Operadores binarios

Relations

Se admiten muchas más relaciones de amssymb, incluidos \leqq, \leqslant, \eqslantless, \lessapprox\precnapprox\lll\circeq\lessdot\vartriangleright\lesssim\vartriangleleft\lessgtr\trianglerighteq\lesseqgtr\eqcirc\geqq\succsim\precsim\succnsim\precnsim\succneqq\precneqq\trianglelefteq\succapprox\triangleq\gtrless\gtrdot\gtreqless\ggg\gtrsim\eqslantgtr\geqslant\Vvdash\precapprox\succnapprox\Subset\backsim\Supset\fallingdotseq\sqsubseteq\sqsupset\sqsupseteq\subsetneq\supsetneq\sqsubset\supsetneqq\Vdash\subsetneqq\risingdotseq\doteqdot\bumpeq\Bumpeq, \backsimeq, . \between\pitchforky sus formularios negados (\ncong, , \nsim, \ngeq\nleq, \nprec, \nsucc, , \nvdash, \nvDash, \nVdash, \nVDash, \ntriangleleft, \ntriangleright, \ntrianglelefteq, , \ntrianglerighteqetc.).

Flechas

También se admiten flechas negadas (\nleftarrow, \nrightarrow, \nleftrightarrow, \nLeftarrow, \nRightarrow, \nLeftrightarrow).

Puntos

Los comandos de punto semánticos \dotsb, \dotsc, \dotsi, \dotsmse \dotso aceptan y asignan a ⋯ o … según corresponda.

Símbolos varios

Tabla de negación

El \not prefijo convierte estas relaciones en su forma Unicode negada:

Variantes alfabéticas y Math-Alphanumeric

Funcionamiento alfabético durante la importación

Las letras latinas (a–z, A–Z) en modo matemático se representan en cursiva matemática de forma predeterminada, es decir, el comportamiento estándar de LaTeX y OMML. Los comandos de fuente cambian el estilo:

Funcionamiento alfabético durante la exportación

Al exportar OMML a LaTeX, los caracteres del bloque Símbolos alfanuméricos matemáticos Unicode (U+1D400–U+1D7FF) se doblan de nuevo a sus equivalentes ASCII/Griego base. El estilo de fuente codificado en el punto de código determina qué \math*{...} comando ajusta el carácter:

Las letras griegas en el plano complementario (negrita griega en U+1D6A8, griego cursiva en U+1D6E2, etc.) se doblan de forma similar a caracteres griegos BMP con los contenedores de fuentes adecuados.

Los símbolos similares a letras BMP (C, H, N, P, Q, R, Z, l, ħ, etc.) también se reconocen y doblan a \mathbb{C}, \mathbb{H}, etc.

Exportación (Office Math → LaTeX)

Al compilar una ecuación o exportar a LaTeX, el convertidor genera LaTeX que vuelve a importar a la misma estructura OMML.

Coincidencia de patrones estructurales

La exportación realiza la coincidencia de patrones en el árbol OMML para generar LaTeX idiomático:

Funciones de límite compuesto

Los nombres compuestos como \limsup y \liminf se reconstruyen a partir de sus partes componentes (por ejemplo, "lim" + espacio fino + "sup") durante la exportación.

Asignación de espacio Unicode

Los caracteres de espacio matemático Unicode en texto OMML se convierten en sus comandos de espaciado LaTeX correspondientes:

Exportación de símbolos y caracteres

Todos los símbolos, operadores, delimitadores, acentos y operadores n-ary enumerados en la sección de importación se exportan mediante su nombre de comando LaTeX principal. Cuando un carácter Unicode tiene varios alias LaTeX (por ejemplo, \le y \leq), se usa el formulario principal.

Los caracteres de fracción vulgares (1/2, 1/3, 2/3, 1/4, 3/4) se exportan como \tfrac{n}{d}.

Compatibilidad con el Portapapeles

Los sistemas operativos no tienen un formato de portapapeles para LaTeX. LaTeX a menudo se copia en Microsoft 365 con el formato o CF_TEXT portapapelesCF_UNICODETEXT. Si el texto se puede reconocer inequívocamente como LaTeX, ya que se incluye en $...$delimitadores , $$...$$, \(...\)o \[...\] , se importa automáticamente como LaTeX y se convierte en Office Math. De lo contrario, se inserta como texto normal y, a continuación, se puede convertir en Office Math seleccionándolo y, a continuación, realizando el comando Insertar>ecuación .

Fidelidad de ida y vuelta

La mayoría de las expresiones LaTeX de ida y vuelta son fieles (LaTeX → OMML → LaTeX genera una salida equivalente). Sin embargo, se produce cierta normalización: los alias se canónicos a las formas principales (por ejemplo, \le → \leq) y se puede simplificar el espaciado.

Limitaciones

1. Tamaños de fracción y binomial:\dfrac y \tfrac se importan de forma idéntica a \frac y \dbinom, y \tbinom se importan de forma idéntica a \binom. OMML no admite invalidaciones de estilo de visualización o estilo de texto por elemento, por lo que se pierde la distinción de tamaño.

2. Alineación de fracción continua:\cfrac[l]{num}{den} y \cfrac[r]{num}{den} se importan de forma idéntica a \cfrac{num}{den}. La alineación izquierda y derecha no se conserva.

3. Los tamaños de delimitador grande:\big, \Big, \bigg\Bigg y sus variantes direccionales (\bigl, , \bigretc.) se convierten en delimitadores de tamaño \left...\right automático. Las calificaciones de tamaño explícito no se conservan.

4. Estilo caligráfico:\mathcal{...} y \cal solo se admiten para letras mayúsculas. Para otros caracteres, como letras minúsculas y dígitos, se aplica el estilo predeterminado.

5. Estilo de script:\mathscr{...} se importa de forma idéntica a \mathcal{...}.

6. Color: La información de color se almacena en OMML, pero no se exporta a LaTeX durante la compilación. El color se conserva dentro del documento, pero se pierde en la exportación de LaTeX.

7. Tamaños de matriz:\begin{smallmatrix}...\end{smallmatrix} se controla igual que \begin{matrix}...\end{matrix}.

8. Alineación de columnas de matriz: En PowerPoint y Excel, no se admite la alineación de las columnas de una matriz. Todas las columnas están alineadas en el centro.

9. La numeración de ecuaciones:\tag{...}, \label{...}, \ref{...}, \eqref{...}, \notagy \nonumber se analizan y descartan silenciosamente durante la importación (no producen errores, pero la información no se conserva).

10. Visualización de varias líneas:\begin{align} y entornos similares generan una matriz de ecuaciones. Los puntos de alineación se conservan, pero el diseño visual puede diferir de la representación de LaTeX.

11. Los comandos de estilo:\displaystyle, \textstyle, \scriptstyley \scriptscriptstyle se analizan durante la importación, pero no afectan a la salida de OMML.

12. Los tamaños de fuente:\footnotesize , \tiny, \scriptsize, \small, \normalsize, \large, \Large, \LARGE, \hugey \Huge se analizan y omiten. Los tamaños no se conservan.

Comandos no admitidos

Los comandos que no aparecen en este documento se pasan como texto literal durante la importación (por ejemplo, \smash{x} aparece como el texto "\smash{x}" en la ecuación). A continuación se muestra un resumen de los comandos notables que no se admiten.

No se admiten los comandos matemáticos de Core LaTeX

no se admiten los comandos amsmath

Otros paquetes: comandos no admitidos

Requisitos

A menos que se indique lo contrario, las características descritas aquí se admiten en Microsoft 365 versión 2606 (compilación 20131.xxxxx) para Windows y la versión 16.110 para Mac y versiones posteriores. Las versiones anteriores admiten algunas características, pero no todas las que se describen aquí.