Размещаем QED на строке выше

Question

Если у меня есть среда теоремы, которая использует символ QED, и я помещаю дословный блок в конец такой теоремы, то символ QED помещается на новую строку ниже, создавая дополнительное пространство. Есть ли способ определить макрос, аналогичный\qedhere но который помещает символ в конец строки выше, и поэтому не создает дополнительную строку только для символа?

МВЭ:

\documentclass{article}
\usepackage{amsthm}

 \begin{document}
 \begin{proof}
 For example:
 \begin{verbatim}
 Some code.
 \end{verbatim}
 \qedhere
 \end{proof}
 \end{document}

Редактировать:Этотпредполагает \par\vspace{-1.7\baselineskip}\qedhere, что это работает, но есть «магическое» значение 1,7, которое необходимо скорректировать, а символ QED все равно можно поместить на следующей странице.

Answer 1

Кажется, этот код работает:

\documentclass{article}
\usepackage{amsthm}

 \begin{document}

 \begin{proof}
 For example:

 \begin{verbatim}
 Some code.
 \end{verbatim}
\vspace*{-\dimexpr2\baselineskip + \topsep + \partopsep}
 \qedhere
 \end{proof}

 \end{document}