Minteken met punt

Bij niet-negatieve invoer blijft de grootste waarde van a − b en 0 over. Dat is afgeknotte aftrekking. Zo is 3 ∸ 5 gelijk aan 0, terwijl gewone aftrekking 3 − 5 = −2 geeft.

Andere namen zijn begrensde aftrekking en eigen verschil. Een gedocumenteerd gebruik staat in een conceptversie uit 1968 van het proefschrift van computerwetenschapper Dennis Ritchie. Later wiskundig en computerwetenschappelijk werk gebruikt de bewerking in monoïden en halfvelden (algebraïsche structuren), in de theorie van recursieve functies en bij het verschil van multisets: aantallen elementen aftrekken uit verzamelingen waarin elementen vaker kunnen voorkomen.

Gebruik ∸ alleen met nul als ondergrens

De punt verandert de regel; hij is geen versiering. Gebruik ∸ alleen wanneer de notatie bepaalt dat aftrekken onder nul nul oplevert. Voor gewone aftrekking gebruik je −: de tekens hebben verschillende functies.