Pokusná stránka

<jsm> \forall{x \in \mathbb{R}}: \lnot((x + 1) < x) \land (x \equiv x) </jsm>