Tanda tidak kurang dari

Ia menyangkal perbandingan: sisi kiri tidak kurang dari sisi kanan. Garis miring yang memotong tanda kurang dari berfungsi sebagai “tidak”. a ≮ b dibaca “a tidak kurang dari b”. Dengan bilangan sehari-hari hanya ada tiga kemungkinan, lebih kecil, sama, atau lebih besar; jadi kalau a tidak kurang dari b, a pasti lebih besar atau sama, dan a ≮ b berarti sama dengan a ≥ b. 7 ≮ 3 benar; 2 ≮ 5 salah.

Lalu kenapa perlu tanda tersendiri? Karena matematikawan juga memakai < untuk urutan yang sebagian pasangannya memang tidak bisa dibandingkan. Urutkan orang menurut “adalah leluhur dari”, atau himpunan menurut “termuat dalam”: dua sepupu, atau himpunan {1, 2} dan {2, 3}, tidak berada di bawah maupun di atas satu sama lain. Di situ a ≮ b hanya menyingkirkan “lebih kecil”; ia tidak menjanjikan “lebih besar atau sama”. Perbedaan ini juga terasa dalam bukti, ketika penulis hanya mengandaikan a ≮ b, asumsi yang lebih lemah daripada a ≥ b.

Di luar matematika tanda ini jarang dipakai. Spreadsheet, kalkulator, dan sebagian besar bahasa pemrograman tidak menerimanya sebagai perbandingan, dan dalam teks biasa “tidak kurang dari” atau “setidaknya” lebih jelas daripada tandanya.

Dari mana asal tanda yang dicoret ini?

Garis miring adalah cara baku menegasikan relasi matematika. Tanda < dan > pertama kali tercetak dalam buku aljabar matematikawan Inggris Thomas Harriot, terbit tahun 1631, sepuluh tahun setelah ia wafat; sejarawan biasanya mengaitkan tanda cetak itu dengan penyunting yang menyiapkan buku tersebut. Mencoret tanda relasi menjadi cara lazim menulis “tidak”: ≠ untuk tidak sama, ∉ untuk bukan anggota, ≮ untuk tidak kurang dari. Unicode memperlakukan ≮ dengan cara yang sama, sebagai tanda kurang dari dengan garis miring di atasnya.