*\ dddot* -引数にトリプルドットアクセントを描くために使用されます。
{ \dddot #1 }
\ dddotコマンドは、引数にトリプルドットアクセントを描画します。
\dddot x
+ $ \ dddot x $
link:/cgi-bin/printpage.cgi [__印刷]