Minus z kropką

Minus z kropką (∸), zwany też monusem, odejmuje bez obniżania nieujemnej wartości poniżej zera: 3 ∸ 5 daje 0, a nie 2. Odejmowanie obcięte lub nasycające przydaje się przy liczebnościach i zasobach, które nie mogą być ujemne.

Symbol tekstowy

Co oznacza ∸

Dla nieujemnych danych wynikiem jest większa z wartości a b i 0. To odejmowanie obcięte. Na przykład 3 ∸ 5 równa się 0, a zwykłe odejmowanie daje 3 5 2.

Inne nazwy to odejmowanie ograniczone i różnica właściwa. Udokumentowane użycie pojawia się w szkicu rozprawy doktorskiej informatyka Dennisa Ritchiego z 1968 roku. Późniejsze prace matematyczne i informatyczne stosują tę operację w monoidach i półpierścieniach (strukturach algebraicznych), teorii funkcji rekurencyjnych oraz różnicy multizbiorów, czyli odejmowaniu liczebności elementów w zbiorach, w których elementy mogą się powtarzać.

Używaj ∸ tylko wtedy, gdy dolną granicą jest zero

Kropka zmienia regułę; nie jest ozdobą. Używaj ∸ tylko wtedy, gdy przyjęta notacja określa, że wynik odejmowania poniżej zera wynosi zero. Do zwykłego odejmowania służy : te znaki pełnią różne funkcje.