Типографский символ, используемый в математике для обозначения конца доказательства.