Posicionamiento vertical de \dashv y \vdash con kpfonts-otf

Question

Los símbolos \dashvy \vdashcon kpfonts-otfparecen estar demasiado bajos, en lugar de estar centrados verticalmente. Pero como el kpfontspaquete clásico produce el mismo resultado, parece ser parte del diseño de la fuente. ¿Hay alguna forma de redefinirlos en una versión centrada verticalmente?

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

\( F \dashv U \)

\( U \vdash F \)

\end{document}

Answer 1

En Computer Modern (o Latin Modern), el trazo vertical es tan alto como las letras mayúsculas y el trazo horizontal está en el medio, por lo tanto, más alto que el eje matemático.

En las fuentes Kp la elección es diferente: el trazo horizontal está en el eje matemático y la altura del trazo vertical se elige en consecuencia.

latino moderno

fuentes kp

¿Quieres que los símbolos sean más 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}