Which symbol represents logical equivalence?
cong\\congcong
Both a and b
iff\\iffiff
equiv\\equivequiv