Fungrim symbol: Equivalent

Symbol: Equivalent —

\left(x\right) \iff \left(y\right)

— Logical equivalence

Definitions:

Fungrim symbol	Notation	Short description

Source code for this entry:

Entry(ID("2d6cf1"),
    SymbolDefinition(Equivalent, Equivalent(x, y), "Logical equivalence"))

Topics using this symbol

The symbol Equivalent appears in 1 topics:

The symbol Equivalent appears in 1 entries:

2019-06-18 07:49:59.356594 UTC