A binary operator symbol representing subtraction with a small circle, commonly used in abstract algebra and number theory.