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

I've been doing some more thinking and I've discovered that a ↔c b = ab = {a,b,c-1,3} in BEAF