Menos con punto

El menos con punto (∸), también llamado monus, resta sin permitir que una cantidad no negativa baje de cero: 3 ∸ 5 da 0, no 2. La resta truncada o saturada sirve para contar objetos y recursos cuando el resultado no puede ser negativo.

Símbolo de texto

Qué significa ∸

Para valores no negativos, conserva el mayor valor entre a b y 0. Eso es una resta truncada. Por ejemplo, 3 ∸ 5 da 0; la resta ordinaria, 3 5, da 2.

También se llama resta limitada o diferencia propia. Un uso documentado aparece en un borrador de 1968 de la tesis doctoral del informático Dennis Ritchie. Trabajos posteriores de matemáticas e informática emplean esta operación en monoides y semianillos (estructuras algebraicas), en la teoría de funciones recursivas y en la diferencia de multiconjuntos: restar cantidades de elementos en colecciones que pueden contener elementos repetidos.

Usa ∸ solo si cero es el límite

El punto cambia la regla; no es decorativo. Usa ∸ solo cuando la notación establece que una resta por debajo de cero se convierte en cero. Para la resta ordinaria, usa : los dos signos cumplen funciones distintas.