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

Okay, I've narrowed it down, and I'm pretty sure that;
 * a ↔ b = aa or  {a,a,b,2}