Delimitadores extensíveis ignorando o overline

Question

Gostaria que delimitadores ajustáveis ​​ignorassem os overlines. Por exemplo:

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

Os colchetes no caso direito são visivelmente maiores do que no caso esquerdo. Gostaria que delimitadores ajustáveis ​​produzissem a mesma saída em ambos os casos.

Alguma ideia de como eu poderia fazer isso?

Answer 1

Aqui eu apresento \noverline{}. Você provavelmente deseja usá-lo apenas quando necessário.

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