Wiktionary
precisely unless
conj. (context mathematics logic English) implies a negative '''and''' is implied by a negative; i.e. ''B'' implies not-''A'' and not-''B'' implies ''A''