Definition from Wiktionary, the free dictionary
See also: SSS
sss, ssssss, ssssssssssssss etc. with as many 's's as desired.
- (mathematics, logic) if and only if; used to show that the predicate that follows it has the same truth value as the predicate that precedes it.