On Thu, Mar 08, 2018 at 05:18:47PM +0000, Pavel Sanda wrote: > Hi, > > am I the only one who sees that we paint lines instead of dots > for \dots, \ddots, \dddots etc. in mathed?
I've seen this in the past also, but only at high zoom levels. Scott
signature.asc
Description: PGP signature
