Scott Kostyshak wrote: > > > > You mean zoom-in changes the visual appearance for \dot in your > > > > environemnt? > > > > It does not change a single pixel here. Do you use linux? > > > > > > I have the same behavior as you, I think: \dot doesn't change at all > > > with zoom. \ddots does. > > > > After sitting on the code for a while I don't believe you :)) > > Perhaps I explained poorly. Here is a screencast for 2.3.x, showing \dot > and \\dots as I zoom:
You explained properly, I did not read properly (\ddot != \ddots)... Pavel
