De Symbool-bouwer
Kies een symbool en bekijk zijn lampjes. De symbolen ≤, ≥ en ≠ hebben er twee, verbonden met OF: één brandend lampje is genoeg om de bewering waar te maken!

De Symbool-kiezer
Vink alle symbolen aan die de bewering waar maken (vaak meer dan één!) en controleer. Verifieer daarna met de zoom-lens op de getallenas.

De Waar-zone
Sleep getallen naar de groene of rode zone bij een bewering als x ≤ −2,5. Let op de grenswaarde: de lampjes vertellen je waar ze thuishoort!

Het bewijs op de as
Wat rechts ligt, is groter. Vallen twee markers exact samen? Dan zijn het twee gedaanten van hetzelfde getal.

De verzameling-tabs
Start bij de natuurlijke getallen ℕ, en schakel door naar ℤ (met negatieve getallen) en ℚ (met breuken en kommagetallen). De regels van de symbolen blijven overal dezelfde!