論理的同値、とも言うっぽい

定義

n個の命題変数X_1,\cdots,X_nからなる論理式\varphi,\psiに、どのように真理値を代入しても常に\varphiと\psiが同じ真理値を持つ時、\varphi,\psiは論理的同値という

Unicodeでガンバる

⊨⫤

「どうち」でユーザー辞書に登録したので変換で出せるはず

のTeX