Open rudvfaden opened 10 years ago
cmd+shift+b
\ronglightarrow
\Ronglightarrow
\longrightarrow
\Longrightarrow
Userguide/keybinding
cmd+shift+b
from clean build files to quick buildTutorials/symbols
\ronglightarrow
and\Ronglightarrow
to\longrightarrow
and\Longrightarrow