====== Pokusná stránka ======

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