User blog comment:TechKon/Left-right arrow notation/@comment-99.185.0.100-20150907151651

Actually, a↔b is equal to aa.