Scrabble?! BICONDITIONALS

Definitions of BICONDITIONALS in various dictionaries:

In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting " P {\displaystyle P} if and only if Q {\displaystyle Q} ", where P {\displaystyle P} is an antecedent and Q {\displaystyle Q} is a consequent. This is often abbreviated " P {\displaystyle P} iff Q {\displaystyle Q} ". The operator is denoted using a doubleheaded arrow (), a prefixed E "Epq" (in ukasiewicz notation or Bocheski notation), an equality sign (=), an equivalence sign (), or EQV. It is logically equivalent to ( P Q ) ( Q P ) {\displaystyle (P\rightarrow