Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jonathan Ben-Naim
w-bnj17
Next ⟩
df-bnj17
Metamath Proof Explorer
Ascii
Structured
Syntax definition
w-bnj17
Description:
Extend wff notation with the 4-way conjunction.
(New usage is discouraged.)
Ref
Expression
Assertion
w-bnj17
wff
(
𝜑
∧
𝜓
∧
𝜒
∧
𝜃
)