Code Editor : leqno.hyp