WOLFRAM LANGUAGE CHARACTER NAME

\[DoubleDot]

  • Unicode: 00A8.
Introduced in 1996
(3.0)