dvisampler: character synchronization