Some LaTeX users are used to typing \iff and \implies instead of \Longleftrightarrow and \Leftrightarrow (\iff and \implies also add some spacing). Maybe these names could be added as additional LaTeX names for these symbols? (such LaTeX aliases could also solve https://github.com/typst/webapp-issues/issues/174 ).
Also for some reason searching for arrow double doesn't find these symbols, this made it quite hard for me to find them.
Description
Some LaTeX users are used to typing
\iffand\impliesinstead of\Longleftrightarrowand\Leftrightarrow(\iffand\impliesalso add some spacing). Maybe these names could be added as additional LaTeX names for these symbols? (such LaTeX aliases could also solve https://github.com/typst/webapp-issues/issues/174 ).Also for some reason searching for
arrow doubledoesn't find these symbols, this made it quite hard for me to find them.Reproduction URL
No response
Browsers
No response
OS
No response