WOLFRAM LANGUAGE CHARACTER NAME

\[DoubleDot]

  • Unicode: 00A8.