is there a nice way to redefine `\to` in a LaTeX file so that it becomes `\rightarrow` in inline maths and `\longrightarrow` in display maths?
oh, twitter told me about https://tex.stackexchange.com/questions/148740/what-is-mathchoice/148774#148774 !
@thosgood How about \newcommand{\to}{\longrightarrow} ?
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!
oh, twitter told me about https://tex.stackexchange.com/questions/148740/what-is-mathchoice/148774#148774 !