Something's wrong with the `\Longrightarrow` symbol in TeX
@otini Mmm, looks like baked in assumptions about earlier layout/fonts. Which was fine back then, but TeX might just need more maintenance. 😛
@otini It accurately reproduces the symbol as written on a blackboard, …and then asked by somebody in the audience whether this is a short or long arrow…
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!