Растягивающиеся разделители, игнорирующие верхнюю черту

Question

Я бы хотел, чтобы регулируемые разделители игнорировали надстрочные линии. Например:

\documentclass{article}
\begin{document}
 $\left\{ f \right\} \; \left\{ \overline{f} \right\}$
\end{document}

Скобки в правом случае заметно больше, чем в левом. Я бы хотел, чтобы регулируемые разделители давали одинаковый вывод в обоих случаях.

Есть идеи, как это сделать?

Answer 1

Здесь я представляю \noverline{}. Вы, вероятно, захотите использовать его только при необходимости.

\documentclass{article}
\newcommand\noverline[1]{\vphantom{#1}\smash{\overline{#1}}}
\begin{document}
 $\left\{ f \right\} \; \left\{ \noverline{f} \right\}$
\end{document}