símbolo adotado para descrições impróprias

[Arthur Buchsbaum]

Caros colegas:

Em algumas lógicas do artigo definido, cujo qualificador descreve objetos via propriedades em que existe um único objeto que a satisfaz, é postulado que as descrições via artigo definido com propriedades em que não existe um objeto que as satisfaz ou existe mais de um, ou seja, as descrições impróprias, designam todas o mesmo objeto, onde, semanticamente, qual é este depende da interpretação.

Pergunto então se há algum símbolo padrão para representar tais descrições. Em minhas aulas tenho usado um círculo cortado ao meio por um traço horizontal, mas este sinal se parece com o do conjunto vazio.

Qual seria este sinal, se existe? Qual o comando em LaTeX que o gera?

Grato antecipadamente,

Arthur Buchsbaum