TeXの記憶(102)— \vdashに引き数を付ける

LaTeXの記号\vdashに上付き・下付きの引き数を付けるマクロです。
下だけオプションにしてみたのですが、あまり意味はないかもしれません。

% ├ ^#1_#2
\newcommand{\VDASH}[2][\relax]{%
  \mathrel{\vdash}_{\lower.3ex\hbox{\scriptsize\kern-.5em$#1$}}%
                  ^{\raise.3ex\hbox{\scriptsize\kern-.5em$#2$}}}

\[
(a,w,S)\ \VDASH[P]{\ast}\ (b,x_i,\beta_i)
\]

\[
(q,x_ix_{i+1}\cdots x_k,Y_i)\ \VDASH{\ast}\ (q,x_{i+1}\cdots x_k,\varepsilon)
\]