biconditional

<2023-04-22 Sat 18:40:17> mahmood
math
denoted by $\leftrightarrow$