add ddots and dotsdDeduce styles, properly align straightDeduce in center (non-sequent) mode