User blog comment:TechKon/Left-right arrow notation/@comment-28124748-20150812035918/@comment-28124748-20150812235001

Oh, also meaning, in Chained arrow notation..
 * a→a→a→b = a ↔ b