similarly to “”x1 -> e2″”