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

@tepm1 = @term2

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

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

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

терм, терм
var(ex("term",[])), var(ex("term",[]))

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

Полагаются равными два выражения.

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

make_equal