kpreid comments on Hearsay, Double Hearsay, and Bayesian Updates

[kpreid]

Or actually use the proper symbols. ASCII is not a requirement for compatibility in these days.

A ↔ (A ∧ B ∧ C)

[Mass_Driver]

Thanks; fixed.