Vertical positioning of \dashv and \vdash with kpfonts-otf

Question

The symbols \dashv and \vdash with kpfonts-otf appear to be too low, instead of being vertically centered. But as the classical kpfonts package produces the same result, it seems to be part of the font design. Is there some way to redefine them into a vertically centered version?

\documentclass{article}
\usepackage{kpfonts-otf}
\begin{document}
( F \dashv U )
( U \vdash F )
\end{document}

Answer 1

In Computer Modern (or Latin Modern), the vertical stroke is as high as the uppercase letters and the horizontal stroke is in the middle, hence higher than the math axis.

In Kp fonts the choice is different: the horizontal stroke is on the math axis and the heigh of the vertical stroke is chosen accordingly.

Latin Modern

Kp fonts

Do you want the symbols to be higher?

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