
Ich möchte, dass anpassbare Trennzeichen Überstriche ignorieren. Beispiel:
\documentclass{article}
\begin{document}
$\left\{ f \right\} \; \left\{ \overline{f} \right\}$
\end{document}
Die Klammern sind im rechten Fall deutlich größer als im linken Fall. Ich möchte, dass anpassbare Trennzeichen in beiden Fällen die gleiche Ausgabe erzeugen.
Irgendeine Idee, wie ich das machen könnte?