User blog comment:TechKon/Left-right arrow notation/@comment-5150073-20150810092730

Can you define a ↔ b formally?