ВЕРСИЯ ДЛЯ СЛАБОВИДЯЩИХ

@NewF: @X -> @Y

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])

Комментарий: 

Строится новое отображение F из X в Y.

Имя операции: 

mk_mor