acmart icon indicating copy to clipboard operation
acmart copied to clipboard

Combination of acmart + mathpartir `inferrule*` causes strange line height bug

Open wilbowma opened this issue 1 year ago • 1 comments

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: image

However, as written, the rendered PDF looks like this when I highlight lines: image

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.

wilbowma avatar Mar 11 '23 02:03 wilbowma

Sorry for disturbing but I have a related question, does acmart(or sigplan) have a suggested package for inference rules? I also use mathpartir.

arbipher avatar Mar 25 '23 01:03 arbipher