stretchElementoDesde: 0.12.0
Estira un glifo.
Esta función también se puede usar para estirar automáticamente la base de un adjunto, de modo que se ajuste a los adjuntos superior e inferior.
Tené en cuenta que solo algunos glifos se pueden estirar y cuáles depende de la fuente matemática que se use. Sin embargo, la mayoría de las fuentes matemáticas son iguales en este aspecto.
$ H stretch(=)^"define" U + p V $
$ f : X stretch(->>, size: #150%)_"surjective" Y $
$ x stretch(harpoons.ltrb, size: #3em) y
stretch(\[, size: #150%) z $

Parámetros
body
El glifo que se estira.
sizePor defecto: 100% + 0pt
El tamaño al que se estira, relativo al tamaño máximo del glifo y sus adjuntos.
Tené en cuenta que el glifo resultante puede no tener exactamente el tamaño deseado. Un glifo estirado puede ser un glifo predefinido o un glifo armado con piezas que proporciona la fuente. Los tamaños posibles pueden no cubrir todo el rango. En el siguiente ejemplo, cuando el parámetro size aumenta de 101% a 200%, el glifo seleccionado sigue siendo el mismo, por lo que el tamaño real no cambia.
Ver ejemplo: Tamaño de ∫ que crece de forma discontinua
#for size in (
100%, // short
101%, 200%, // tall
201%, 300%, 400%, 500%, 600%, // taller
) {
$stretch(integral, size: #size)$
}
