หารลงตัว

จำนวนทางซ้ายหารจำนวนทางขวาได้โดยไม่มีเศษ

ดังนั้น 3 ∣ 12 เป็นจริง และ 5 ∣ 12 เป็นเท็จ ในทฤษฎีจำนวนและการพิสูจน์มักเขียนเป็น a ∣ b อ่านว่า “a หาร b ลงตัว”

ภายในวงเล็บปีกกา เช่น {n ∣ n > 0} เส้นนี้อ่านว่า “โดยที่” คือเซตของ n ทั้งหมดโดยที่ n มากกว่า 0

แพร่หลายในต้นศตวรรษที่ 20

เอ็ดมุนด์ ลันเดา นักทฤษฎีจำนวนชาวเยอรมัน อธิบายสัญกรณ์นี้ในหนังสือ Handbuch ปี 1909 ซึ่งเป็นตำราอ้างอิงเรื่องการกระจายของจำนวนเฉพาะ และมีการใช้กว้างขวางขึ้นในทศวรรษ 1930 สัญกรณ์นี้แทนความสัมพันธ์ที่เคยเขียนเป็นคำพูดด้วยเครื่องหมายสั้น ๆ เพียงตัวเดียว