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