biconditional
Symbol \leftrightarrow -- true exactly when both sides match.
The biconditional p\leftrightarrow q ("p iff q") is true exactly when p and q have the same truth value.
See also
Point table
Graph settings
Calculator