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

How about this?

a↔b = (( a-1)↔b) ↔(b-1)