据我所知,像 $\Vdash$ 这样的二元关系是(垂直)居中的,以正确适应大写字母。例如,$A \Vdash B$ 看起来不错。
我使用这个符号的上下文总是用括号或类似的东西包围,更具体地说:$\cdots \rangle \Vdash ( \cdots$。\rangle 和 ( 都表示“比 A 高一点”和“比 g 低一点”,总之 $\Vdash$ 明显不是居中但略微向上移动。这尤其引人注目,因为 $\rangle$ 使垂直中心清晰可见。
我可以可能会创建一个新命令,使用精心选择的偏移量将 \Vdash 稍微向下推。当字体大小因某种原因发生变化时,这很可能会中断...
有没有什么好的解决办法?
更新:强制性 MWE 和图片
\documentclass{article}
\begin{document}
\[ \cdots \rangle \vdash ( \cdots \]
\end{document}