Improve symbol search for some arrows

[knuesel]

Description

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 #174 ).

Also for some reason searching for arrow double doesn't find these symbols, this made it quite hard for me to find them.

Reproduction URL

No response

Browsers

No response

OS

No response