℩

Symbol

 * 1)  Denotes a definite descriptor in formal logic.