*\ dashv* -dashvシンボルの描画に使用されます。
{ \dashv }
\ dashvコマンドは、dashvシンボルを描画します。
\dashv
+ $ \ dashv $
link:/cgi-bin/printpage.cgi [__印刷]