TX fonts でベクトルを作りましたが

名前: 鍛谷
日時: 2002-03-03 00:09:46
IPアドレス: 210.143.160.*

こんにちは．次のソースをタイプセットすると，
係数の s,~t に矢印がかかってしまいます．
どうしてでしょうか．

\documentclass{jarticle}
\def\Vec#1{\overrightarrow{\mathstrut#1}}%
\usepackage[varg]{txfonts}
\begin{document}
$s\Vec{a}=t\Vec{b}$
\end{document}

この書き込みへの返事：