Code Editor : infernce.sty