A logical connective that indicates that two statements imply each other.

द्विदिशा

English Usage: In propositional logic, the bi-implication is denoted by a double-headed arrow.

Hindi Usage: प्रस्तावनात्मक तर्क में, द्विदिशा को द्विदिशीय तीर द्वारा दर्शाया जाता है।