Double conjonction logique

⩓ marque le « et » logique, mais sa forme doublée ne définit pas à elle seule une opération précise : suivez la définition de la notation où il apparaît. Une proposition STIX de 2000 l’a inclus dans un ensemble commun de symboles mathématiques destiné aux publications scientifiques ; l’usage logique du signe simple de conjonction est attesté depuis 1930.

Symbole textuel

Que signifie ⩓

Oui, mais la notation détermine son opération exacte.

Un symbole de conjonction logique relie des propositions par « et ». Sa forme doublée ne donne pas, à elle seule, de règle particulière à ⩓. Suivez la définition de l’auteur ; ne le lisez pas comme un « et » appliqué deux fois et ne supposez pas qu’il remplace .

STIX était un projet porté par des éditeurs pour l’échange d’informations scientifiques et techniques. Sa proposition de 2000 visait des polices et un encodage communs pour les publications mathématiques, scientifiques et techniques. Elle classe ⩓ parmi les signes logiques de « et » et de « ou ».