使用 kpfonts-otf 垂直定位 \dashv 和 \vdash

Question

符號\dashv和\vdashwithkpfonts-otf看起來太低，而不是垂直居中。但由於經典kpfonts包產生了相同的結果，它似乎是字體設計的一部分。有什麼方法可以將它們重新定義為垂直居中的版本嗎？

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

\( F \dashv U \)

\( U \vdash F \)

\end{document}

Answer 1

在電腦現代（或拉丁現代）中，垂直筆劃與大寫字母一樣高，水平筆劃位於中間，因此高於數學軸。

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