87 ms·It's useful to know that \to and \gets are shorthands for \rightarrow and \leftarrow.by DominikPeters 5y agoIt's useful to know that \to and \gets are shorthands for \rightarrow and \leftarrow.