Because I've had it up to here with my real work, I've made a little bot that wants to see collect every natural number: @enumerator. If you toot it a number it hasn't seen before, it'll thank you
@christianp @enumerator oh, is this the dual to every_peano on Twitter?
@lm hopefully it's a bit more interesting than that
@christianp Oh my, I could waste hours on this. 🙂 @enumerator
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
Use \( and \) for inline LaTeX, and \[ and \] for display mode.