- @index
@expr_real + @item
@expr_real - @item
@item * @index
@item / @index
@minusitem / @index
@simplexpr ^ @index
Ввести области @ob_list
@expr_real < @expr_real
@expr_real > @expr_real
@command .
@text_question ?
Введем шаблон "@текст_шаблона"
Удалить шаблон "@текст_шаблона"
Сообщение: @
Используем понятие @Имя_понятия
Используем текст понятия @Имя_онятия
Найти @выражение
Вычислить@
@A == @B
@Имя - область
@Список_имен - области
@Имя - отображение
@Список_имен - отображения
@tepm1 = @term2
Приравнять @От1 к @От2
@Выраж1_mor не равно @Выраж2_mor
@Выраж1_ob не равно @Выраж2_ob
@A - подобласть области @B
@Область1 < @Область2
@Область1 - это @Область2
@A_new - подобласть области @B
@New_Область1 < @Область2
@New_Область1 - это @Область2
Пусть @выражения - @область
@элементы - элементы области @область
@новый_элемент - элемент области @область
@выражение - @область
Чему равно @выражение?
Равны ли @A и @B
@A - подобласть @B
@Область2 < @Область1
@Выр элемент @Обл
@Эл - @Обл
Элементы области @Области?
Подобласти области @Область?
Максимальные подобласти @Области?
Какие противоречия?
Какие дескрипторы?
термины текущего понятия
понятия системы
тождественное отображение @Область
id (@Область)
область определения @Отображение
dom(@f)
область значений @f
cod(@f)
@f1 * @f2
композиция(@f1 и @f2)
com(@f1,@f2)
@F: @X -> @Y
@NewF: @X -> @Y
Пусто
/\
0
0(@)
Точка
1
1(@)
@T1 x @T2
pr1(@T1,@T2)
pr2(@T1,@T2)
<@f1,@f2>
@T1 + @T2
in1(@T1,@T2)
in2(@T1,@T2)
{@f1,@f2}
equaliser(@f1,@f2)
mor_eq(@f1,@f2)
in_eq(@От1,@От2;@От)
@Обл1 => @Обл2
ev(@T1,@T2)
lambda(@F,@T;@T1)
omega
да
истина
true_cat
нет
ложь
char_mor(@Ins)
ver_dom(@Pred)
isom_ver_dom(@Ins)
вложение @T1 в @T2
Im @функция(@подобласть)
=(@Ob,@Ob)
=(@Mor,@Mor)
@list,@term
(@term)
термины областей
термины отображений
Каков мир текущего понятия?
Используем определение понятия @Имя
атрибут @Область: @Имя_атрибута
свойство @Область: @Имя
Имена областей
свойства
Имена отображений
имя области @T1
имя отображения @f1
область с именем @Имя
отображение с именем @Имя
@Область_свойства of @Области
Свойства @Области : @список_свойств
Свойство @Области : @свойство
Свойство @Области : @новое_свойство
Свойства @Область ?
Подобласти @Область: @Области
Подобласти области @Область: @Области
Таблица свойств @Об_признаки для @Область
Select @Области from @Область
@предложение @текст
@команда ;
@составная_команда @команда
{@правильное_выражение}
@список_переменных : @тип_переменной
@область п @область
.
@функция(@элемент)
@el1 ; @el2
@переменная : @тип_переменной
{}
{@list}
empty
{@term}
@expr_set U @item_set
@expr_set - @item_set
@item_set П @set
@expr_bool <--> @impl_bool
@impl_bool --> @dizj_bool
@dizj_bool V @conj_bool
@conj_bool & @simple_bool
~@simple_bool
True
False
@term<>@term
if @expr_bool then @term else @term
@A содержится в @B
@Выр принадлежит @Обл
тип(@term)
@имя - объект понятия @понятие
@Имя_экземпляра's @шаблон
Внешние шаблоны типа &term ?
пустая команда
Заменить шаблон "@текст_шаблона"
Наследуем понятие @Имя_понятия
Для всех[ @Список_переменных ], если[ @условие ], то [ @Term ] => [ @Term ] ("@Название правила"), если, кроме того,[@Post_condition]
Для всех[ @Список_переменных ] [ @Term ] => [ @Term ] ("@Название правила")
"@текст_синонима" - новый синоним @термин
Ввести синоним шаблона "@текст_шаблона"
First_list(@list)
Second(@list)
First_element(@list)
Nil
@термин1 - синоним @термин2
"@текст_синонима" - новый синоним @термина [@комментарий]
Заменить термин "@Термин" типа @Тип на "@Новый_термин" [@текст_пояснения]
" "
[ ]
/* */
%
@g-группа
factorial(@n)
@n!
sum(@lst)
@тело равномерно движется со скоростью @v
@тело движется равномерно
@тело движется равноускоренно
~@u
@u v @v
@u & @v
"//" "//"