Vertikale Positionierung von \dashv und \vdash mit kpfonts-otf

Question

Die Symbole \dashvund \vdashmit kpfonts-otfscheinen zu niedrig zu sein, anstatt vertikal zentriert zu sein. Da das klassische kpfontsPaket jedoch dasselbe Ergebnis liefert, scheint es Teil des Schriftdesigns zu sein. Gibt es eine Möglichkeit, sie in eine vertikal zentrierte Version umzudefinieren?

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

\( F \dashv U \)

\( U \vdash F \)

\end{document}

Answer 1

Im Computer Modern (bzw. Latin Modern) ist der vertikale Strich so hoch wie die Großbuchstaben und der horizontale Strich befindet sich in der Mitte und damit höher als die mathematische Achse.

Bei Kp-Schriftarten ist die Wahl anders: Der horizontale Strich befindet sich auf der mathematischen Achse und die Höhe des vertikalen Strichs wird entsprechend gewählt.

Latein Modern

Kp-Schriftarten

Möchten Sie, dass die Symbole höher sind?

\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}