为什么旋转栅门 $\vdash$ 被称为“vdash”？
我确信解释很简单（它只是一个竖线后面跟着一个破折号吗？），但我似乎无法在网上找到任何“官方”信息。
答案1
是的，它是垂直的（然后）破折号|-，而不是 dashv（-|）、Vdash（||-）Vvdash（|||-）dashVdash（-|-）等。（这些名称都在unicode-math，而且大多数也在amssymb
为什么旋转栅门被称为 \vdash？
为什么旋转栅门 $\vdash$ 被称为“vdash”？
我确信解释很简单（它只是一个竖线后面跟着一个破折号吗？），但我似乎无法在网上找到任何“官方”信息。
是的，它是垂直的（然后）破折号|-，而不是 dashv（-|）、Vdash（||-）Vvdash（|||-）dashVdash（-|-）等。（这些名称都在unicode-math，而且大多数也在amssymb