@Список_имен - отображения

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

ex("command",[])

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

var(ex("list",[])),w("-"),w("отображения")

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

Вводятся несколько отобажений

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

morphisms