보다 작지 않음 기호

비교를 부정하는 기호로, 왼쪽이 오른쪽보다 작지 않다는 뜻입니다. 부등호를 가로지르는 빗금이 "아니다" 역할을 합니다. a ≮ b는 "a는 b보다 작지 않다"로 읽습니다. 일상의 수에서는 작다, 같다, 크다 세 가지뿐이므로, a가 b보다 작지 않다면 크거나 같을 수밖에 없고, a ≮ b는 a ≥ b와 같은 뜻이 됩니다. 7 ≮ 3은 참, 2 ≮ 5는 거짓입니다.

그런데 왜 따로 기호가 있을까요? 수학자들은 서로 비교할 수 없는 쌍이 있는 순서에도 <를 쓰기 때문입니다. 사람을 "~의 조상이다"로, 집합을 "~에 포함된다"로 나열해 보세요. 사촌 사이나 집합 {1, 2}와 {2, 3}은 서로 아래도 위도 아닙니다. 그런 곳에서 a ≮ b는 "작다"만 배제할 뿐, "크거나 같다"를 약속하지 않습니다. 이 차이는 증명에서도 드러납니다. a ≮ b만 가정하는 것은 a ≥ b를 가정하는 것보다 약한 전제입니다.

수학 밖에서는 흔하지 않습니다. 스프레드시트, 계산기, 대부분의 프로그래밍 언어는 이 기호를 비교 연산으로 받아들이지 않고, 일반 글에서는 "보다 작지 않다"나 "이상"이라고 쓰는 편이 더 분명합니다.

빗금 친 기호는 어디서 왔나요?

빗금은 수학 관계를 부정하는 표준적인 방법입니다. <와 >가 처음 인쇄물에 등장한 것은 영국 수학자 토머스 해리엇의 대수학 책으로, 그가 세상을 떠난 지 10년 뒤인 1631년에 출판되었습니다. 다만 인쇄된 기호는 책을 엮은 편집자의 것으로 보는 것이 일반적입니다. 관계 기호에 선을 그어 "아니다"를 나타내는 것은 흔한 표기법이 되었습니다. ≠는 같지 않다, ∉는 원소가 아니다, ≮는 작지 않다. 유니코드도 ≮를 같은 방식으로, 부등호 위에 빗금을 겹친 것으로 다룹니다.