Formal Dot