[math] \phi <-> \varphi