In about half an hour, UK #ISS pass, starting at 06:13:34, duration 54 secs, visible, Magnitude -1.3
Hmm. The MathJax didn't render, but the admins are onto it.
We apologise for the inconvenience.
Meanwhile, here it is without the markup ...
Consider this statement:
Suppose x in R is such that for all (s,t) in Q², |x-s|=|x-t| => s=t. Then x is irrational.
Is that a theorem, lemma, observation, or something else?
In about half an hour, UK #ISS pass, starting at 05:26:28, duration 61 secs, visible, Magnitude -1.2
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.