Пункт меню Edit

Редактирование выражений и текста документа осуществляется с помощью пункта главного меню — Edit. Редактор Edit содержит следующие команды:
□ Derive Object ()— выделение выражения специальным знаком;
□ Annotation — вывод окна аннотации выделенного выражения;
□ Delete — удаление выделенного выражения;
□ Undelete (+) — восстановление последнего удаленного выражения;


