Code Editor : ntheorem-hyper.sty