DOT is just the name of the calculus used to prove the core of the language (and Dotty the name of the new compiler). It won't appear often in the literature meant for the general public so I don't think there will be much confusion.

Well, dot already stands for both graphviz and Microsoft DOc Template, so there already is some level of confusion there.