Equality of truth values, i.e. bi-implication or logical equivalence, may be denoted by various symbols including =, ~, and ⇔.
Kesetaraan nilai-nilai kebenaran, yaitu bi-implikasi atau ekuivalensi logis, dapat dilambangkan dengan berbagai simbol seperti =, ~, dan ⇔.