acmart
acmart copied to clipboard
Combination of acmart + mathpartir `inferrule*` causes strange line height bug
Consider the following document:
\documentclass{acmart}
\usepackage{mathpartir}
\usepackage{lipsum}
\begin{document}
\lipsum[5]
\begin{mathpar}
\inferrule*[right=Meow]
{~}
{\vdash e : A}
\end{mathpar}
\end{document}
When I replace the use of inferrule*
with inferrule
, or replace the acmart
document class with article
, I can highlight lines and the line height is as expected. It looks like this:
However, as written, the rendered PDF looks like this when I highlight lines:
It appears this is only an issue with the inferrule*
right
or Right
option. If I replace it with left
, the line height appears correct as well.
I'd appreciate any help.
Sorry for disturbing but I have a related question, does acmart(or sigplan) have a suggested package for inference rules? I also use mathpartir
.