Added declaration.dd to LaTeX, fixed OPT macro