\[DoubleDot]

  • Unicode: 00A8.

See Also

\[TripleDot]

Tutorials

Introduced in 1996
(3.0)