• Unicode: F758.

参见

\[DoubleDot]

教程

1996年引入
(3.0)