🌈 搜索
📅  最后修改于: 2020-10-14 08:01:26             🧑  作者: Mango
\ vdash-用于创建vdash符号。
{ \vdash}
\ vdash命令绘制vdash符号。
\vdash
打印