\vDash -vDashシンボルを作成するために使用されます。
{ \vDash}
\ vDashコマンドは、vDashシンボルを描画します。
\vDash
© Copyright 2021 - 2024 | All Rights Reserved