Home Blog Programování I VŠB: ML Odkazy O mně
<jsm> \forall{x \in \mathbb{R}}: \lnot((x + 1) < x) \land (x \equiv x) </jsm>
