1boxed input.tex /^\\newenvironment{boxed}$/;" e 2boxedA input.tex /^\\renewenvironment{boxedA}$/;" e 3theorem input.tex /^\\newtheorem{theorem}{Theorem}$/;" t 4theoremA input.tex /^\\newtheorem{theoremA}{Theorem A}$/;" t 5