Katja Goltsova
authored
* Change Iff.id to match Implies.id
* Recognize more arrows as iff / implies
* Update printer tests to use new Iff.id
Co-authored-by: 
Viktor Kunčak <vkuncak@users.noreply.github.com> * Change Iff.id to match Implies.id
* Recognize more arrows as iff / implies
* Update printer tests to use new Iff.id
Co-authored-by: Viktor Kunčak <vkuncak@users.noreply.github.com>