使用 \overbrace 时括号上方出现黑框

Question

我正在使用 \overbace 来处理一些数学公式。一开始一切都运行正常，但现在当我使用 \overbrace 编译文件时，括号的显示出现了一些问题。

例如，这行代码

$A'' = \langle Q', \Sigma, \delta', q_I', \overbrace{Q' \setminus F'}^{(F')^C}\rangle$

生成以下 PDF：

为什么括号上会显示那个可怕的黑框？我正在使用 TeX Live 2020

编辑：这是文件：

\documentclass[a4paper, 11pt]{book}

\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage[english, italian]{babel}
\usepackage{subfiles}
\usepackage{braket}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{amsmath}
\usepackage{fdsymbol}
\usepackage{stmaryrd}
\usepackage{tabularx}
\usepackage{latexsym}
\usepackage{tikz}
\usepackage{thmtools}
\usepackage{mathtools}
\usepackage{hyperref}
\usepackage{graphicx}
\begin{document}
    Se $A'$  è un DFA allora avremo che 
    $A'' = \langle Q', \Sigma, \delta', q_I', \overbrace{Q' \setminus F'}^{(F')^C}\rangle$.
    Si ha che $A''$ è un DFA e si ha che $sc(L'') = sc(L')$.
\end{document}

Answer 1

首先警告。使用fdsymbol改变所有数学符号，使用与计算机现代不兼容的形状。它们被认为是伴随Fedra 字体。

您的问题出现的原因是fdsymbol重新定义了\underbrace和\overbrace，但是mathtools当符号字体由提供时，使用一些不成立的假设再次更改了它们fdsymbol。

因此fdsymbol之后加载mathtools（假设您想首先加载它）。