kpfonts-otf による \dashv と \vdash の垂直配置

Question

記号\dashvと\vdashがkpfonts-otf垂直中央に配置されず、低すぎるように見えます。ただし、クラシックkpfontsパッケージでも同じ結果が生成されるため、これはフォント デザインの一部であると思われます。これらを垂直中央バージョンに再定義する方法はありますか?

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

\( F \dashv U \)

\( U \vdash F \)

\end{document}

Answer 1

Computer Modern (または Latin Modern) では、垂直のストロークは大文字と同じ高さで、水平のストロークは中央にあるため、数式軸よりも高くなります。

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}