tainty notation</h2>
    <p>The idea is simple: apart from regular numbers (like <code>4</code>, <code>3.14</code> or <code>43942</code>), you can also input <em>ranges</em> (like <code>4~6</code>, <code>3.1~3.2</code> or <code>40000~45000</code>). The character between the two extremes of the <em>range</em> is a tilde (<code>~</code>), a little wave symbol. You can find it on most keyboards, but for convenience, I also included it in the keypad above.</p>
    <p>The <em>range</em> notation says the followi