[NTG-context] larger dot for \dot ?