Tanda sama dengan

Kesetaraan nilai-nilai kebenaran, yaitu bi-implikasi atau ekuivalensi logis, dapat dilambangkan dengan berbagai simbol seperti =, ~, dan ⇔.