使用 kpfonts-otf 垂直定位 \dashv 和 \vdash

Question

符号\dashv和\vdash看起来kpfonts-otf太低了，而不是垂直居中。但由于 classickpfonts包产生相同的结果，它似乎是字体设计的一部分。有没有办法将它们重新定义为垂直居中版本？

\documentclass{article}
\usepackage{kpfonts-otf}
\begin{document}

\( F \dashv U \)

\( U \vdash F \)

\end{document}

Answer 1

在计算机现代（或拉丁现代）中，垂直笔画与大写字母一样高，水平笔画位于中间，因此高于数学轴。

在 Kp 字体中，选择有所不同：水平笔画位于数学轴上，垂直笔画的高度则相应选择。

拉丁现代

Kp 字体

您想要符号更高吗？

\documentclass{article}
\usepackage{kpfonts-otf}

\AtBeginDocument{%
  \NewCommandCopy\standarddashv\dashv
  \NewCommandCopy\standardvdash\vdash
  \RenewDocumentCommand{\dashv}{}{\mathrel{\mathpalette\raisesymbol\standarddashv}}%
  \RenewDocumentCommand{\vdash}{}{\mathrel{\mathpalette\raisesymbol\standardvdash}}%
}

\makeatletter
\newcommand{\raisesymbol}[2]{%
  \begingroup
  \sbox\z@{$\m@th#1A$}%
  \sbox\tw@{$\m@th#1#2$}%
  \raisebox{\dimexpr(\ht\z@-\ht\tw@)/2}{\usebox{\tw@}}%
  \endgroup
}
\makeatother

\begin{document}

\( F \dashv U \)

\( U \vdash F \)

\({\vdash}\frac{1}{2}\)

\end{document}