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