remove Notation, add DownValues for Dot[]