2 @Quasilocal Then again I vaguely remember having defined \reci n for \frac1n… I guess I had to type a lot of fractions… Apr 13, 2023 · 14:40