답변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}