adding and redefining counter representations in LaTeX2e