如何使用 bguq 选项使 frege 包中的量词符号的水平线和弧线顶部对齐？

Question

首先，MWE 及其输出如下。

\documentclass{article}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage[bguq]{frege}

\begin{document}

\[\Fquant[1]{a}\Phi(\mathfrak{a})\]
    
\end{document}

如您所见，fraktur a 下方的水平线和弧线未在顶部对齐。那么如何让量词符号中的横线和圆弧居中对齐呢，或者如何让圆弧居中对齐呢？

提示：包装定义中的水平线和圆弧是两个独立的部分，但我不知道如何达到我的目标。

Answer 1

这将降低所有“量化”命令上的弧线符号。

\documentclass{article}
\usepackage{amsmath,amsfonts,amssymb}
\usepackage[bguq]{frege}
\let\oldbguq\bguq
\renewcommand{\bguq}{\raisebox{-0.03ex}{$\oldbguq$}}%lower arc

\begin{document}
    
    \[\Fquant[1]{a}\Phi(\mathfrak{a})\]
    
\end{document}

Answer 2

另一种方法是使用（较新的）基本法用 Frege 的符号包来代替：

\documentclass{article}
\usepackage{amssymb}
\usepackage{grundgesetze}

%for slightly longer horizontals; not required
\setlength{\GGbeforelen}{0.5em}\setlength{\GGafterlen}{0.5em}

\begin{document}
\[\GGall{a}\Phi(\mathfrak{a})\]
\end{document}