Dotty may refer to: