Posicionamento vertical de \dashv e \vdash com kpfonts-otf

Question

Os símbolos \dashve \vdashwith kpfonts-otfparecem estar muito baixos, em vez de centralizados verticalmente. Mas como o kpfontspacote clássico produz o mesmo resultado, parece fazer parte do design da fonte. Existe alguma maneira de redefini-los em uma versão centralizada verticalmente?

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

\( F \dashv U \)

\( U \vdash F \)

\end{document}

Answer 1

Em Computer Modern (ou Latin Modern), o traço vertical é tão alto quanto as letras maiúsculas e o traço horizontal está no meio, portanto, mais alto que o eixo matemático.

Nas fontes Kp a escolha é diferente: o traço horizontal está no eixo matemático e a altura do traço vertical é escolhida de acordo.

Latim Moderno

Fontes Kp

Você quer que os símbolos sejam mais altos?

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