What? What do you mean by (A⇔B⇔C) then? Because I’m pretty sure I’ve basically only seen it as shorthand for the conjunction of (A⇔B) and (B⇔C), when it is un

What? What do you mean by (A⇔B⇔C) then? Because I’m pretty sure I’ve basically only seen it as shorthand for the conjunction of (A⇔B) and (B⇔C), when it is understood that ⇔ is transitive.