Syntax Definition wlb 55

Description: Linear biconditional, defined by df-lb 56. This is the operator used for definitions, so its definition will be a little unusual...

Hypotheses

Ref	Expression
wph	wff 𝜑
wps	wff 𝜓

Assertion

Ref	Expression
wlb	wff (𝜑 ⧟ 𝜓)

See definition df-lb 56 for more information.