\[RawDot]

  • Unicode: 002E.
  • 原始运算符.
  • 等同于代码为 46 的普通 ASCII 字符.
  • 作为顶标，用于表示时间导数.
  • 解释为 OverDot[x].