Seu site educativo sobre a Língua Brasileira de Sinais
Símbolo utilizado para representar uma condição ou relação lógica. Em matemática, pode ser usado para expressar uma equivalência.
Se e somente se é um conectivo lógico
CONECTIVO LÓGICO SE E SOMENTE SE SER