Dan en slechts dan als

Het symbool waar de dan en slechts dan als uitspraak mee wordt aangeduid.

Dan en slechts dan als is een uitspraak die in de wiskunde gebezigd wordt om uitspraken onderling van wederzijdse implicatie te voorzien.