stretch
ElementElementElement functions can be customized with set
and show
rules.
Element
Element functions can be customized with
set
and show
rules.Stretches a glyph.
This function can also be used to automatically stretch the base of an attachment, so that it fits the top and bottom attachments.
Note that only some glyphs can be stretched, and which ones can depend on the math font being used. However, most math fonts are the same in this regard.
$ H stretch(=)^"define" U + p V $
$ f : X stretch(->>, size: #150%)_"surjective" Y $
$ x stretch(harpoons.ltrb, size: #3em) y
stretch(\[, size: #150%) z $

ParameterParameterParameters are input values for functions. Specify them in parentheses after the function name.
Parameter
Parameters are input values for functions. Specify them in parentheses after the function name.
body
RequiredRequiredRequired parameters must be specified when calling the function.PositionalPositionalPositional parameters can be set by specifying them in order, omitting the parameter name.
Required
Required
Required parameters must be specified when calling the function.
Positional
Positional
Positional parameters can be set by specifying them in order, omitting the parameter name.
The glyph to stretch.
size
SettableSettableSettable parameters can be set using the set
rule, changing the default value used thereafter.
Settable
Settable
Settable parameters can be set using the
set
rule, changing the default value used thereafter.The size to stretch to, relative to the maximum size of the glyph and its attachments.
Default value: 100% + 0pt