Found:
Iff
SEMANTICS: the abbreviation of if and only if, which is used as equivalence in mathematical statements and the logical meta language. Also indicated by <->.