∸

Math Operator 53

Unicode
U+2238
Category
Math
HTML Entity
∸
CSS
\2238
The ∸ (Dot Minus) symbol is a mathematical operator featuring a standard minus sign topped with a single dot. In mathematics, it is primarily used to represent "monus" or proper subtraction, an operation on natural numbers where the result defaults to zero if the number being subtracted is larger. While rarely seen in everyday typing, it occasionally appears in advanced logic, theoretical computer science, and specialized algebraic structures.

How to Type

Windows
Type 2238 then press Alt+X (in Word), or Win+. then search 'dot minus'
macOS
Control+Command+Space then search 'dot minus'
Linux
Ctrl+Shift+U 2238 Space
HTML
∸ or ∸

In Programming

In theoretical computer science, the dot minus (monus) operation defines functions in primitive recursive arithmetic, ensuring subtraction between non-negative integers never returns a negative value.

Read full meaning article

Tags

arithmetic dot above minus dot minus mathematics monus natural numbers subtraction operator proper subtraction saturating subtraction subtraction theoretical computer science truncated subtraction

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To