U+2223 "∣" Divides Unicode Character

U+2223 "∣" Divides is a mathematical symbol used primarily in number theory and set theory to denote that one integer evenly divides another, as in the expression a ∣ b, meaning a divides b with no remainder. It is distinct from the vertical bar or pipe character used in programming, instead functioning as a precise relational operator in formal mathematical notation. This symbol belongs to the Mathematical Operators block of Unicode and is commonly employed in texts involving divisibility, prime factorization, and modular arithmetic to concisely represent a fundamental arithmetic relationship.