iris.sty incompatible with acmart
The \nequiv
macro in iris.sty
clashes with something that is import by the acm
template. In our own papers, we work around this by undefining \nequiv
locally, but that's not great.
We should either always overwrite whatever the existing \nequiv
is, or else change the name of our macro.