a⇔t