@DavidCarlisle -- a comment on
this answer showing an end-of-proof marker overprinting the right-hand end of a one-line display coded with
align*
claims that this is an
amsthm
bug. i claim it's not, since
align
is intended to be used
only for multi-line displays. but before i respond to the comment, i would like your opinion. (reactions from @egreg, @daleif, @yo', and anyone else welcome too.)