Matemáticas y demostraciones¶
Una ecuación sirve si facilita examinar una relación. Define los símbolos antes de usarlos e indica las unidades pertinentes. Debe apoyar la explicación, no reemplazarla.
Matemáticas en línea y en bloque¶
Usa el rol math para expresiones breves y la directiva math para ecuaciones independientes. Escribe el subconjunto LaTeX común a ambos formatos.
A side of length :math:`s` encloses area :math:`s^2`.
.. math::
:label: area-square
A = s^2
The relation is :eq:`area-square`.
Un cuadrado de lado \(s\) tiene área \(s^2\).
La relación es (1). Guidedog asigna un destino estable a ecuaciones etiquetadas. HTML genera marcado MathJax; PDF convierte el subconjunto LaTeX compatible a Typst. Informa de comandos PDF no admitidos y no evalúa paquetes LaTeX arbitrarios.
Una demostración breve¶
Sean \(U\) los bytes cargados, \(B\) el límite y \(n\) la asignación solicitada. Suponemos valores no negativos y \(U \le B\).
Regla de admisión. Aceptar la solicitud si y solo si
Afirmación. Una solicitud admitida mantiene \(U + n \le B\).
Demostración. Suma \(U\) a ambos lados de (2): resulta \(U+n \le B\). La implementación comprueba la resta, sin calcular primero \(U+n\), que podría desbordar el entero. Prueba y orden aritmético coinciden.
Límite. Esto contabiliza almacenamiento del anfitrión, no las asignaciones internas del compilador Typst separado. Una demostración solo vale dentro del límite declarado.
Configuración de HTML¶
Estos proyectos incluyen MathJax 3.2.2 y sus fuentes SVG, cargados solo en páginas con matemáticas. Tras construir se leen sin conexión. No requieren scripts de diagramas ni servicios de fuentes.
En otros proyectos, MathJax se carga de un CDN por defecto. Para servir una copia local, colócala en _static y configura:
html_static_path = ["_static"]
mathjax_path = "_static/tex-svg-full.js"
JavaScript compone las ecuaciones web; sin él queda visible la fuente. El PDF no necesita JavaScript del navegador. Consulta el contrato de componentes MathJax.