점 마이너스 기호

0 이상의 입력에서는 a − b와 0 중 더 큰 값을 결과로 남깁니다. 이것이 절단 뺄셈입니다. 예를 들어 3 ∸ 5는 0이고, 일반 뺄셈에서는 3 − 5 = −2입니다.

제한 뺄셈이나 제한된 차라고도 합니다. 컴퓨터 과학자 데니스 리치의 박사 논문 초안에서 1968년의 사용 사례가 확인됩니다. 이후 수학과 컴퓨터 과학에서는 모노이드와 반환(대수 구조), 재귀 함수 이론, 반복 원소가 있을 수 있는 모음에서 원소 개수를 빼는 다중집합 차 연산 등에 이 연산을 사용합니다.

0이 하한일 때만 ∸를 쓰세요

점은 규칙을 바꾸는 의미가 있으며 장식이 아닙니다. 뺄셈 결과가 0 아래라면 0으로 정한다는 표기 규칙이 있을 때만 ∸를 쓰세요. 일반 뺄셈에는 −를 씁니다. 두 기호의 역할은 다릅니다.