Заменить шаблон "@тело равномерно движется со скоростью @v"
с переменными:
"тело : new ; v: real_выражение"

удалить шаблон ["/*" "*/"] с переменными типа : "" и типом результата команда .

Введем шаблон " @x1 div @x2"
с переменными:
"x1: слагаемое; x2 : степенное real_выражение "

A -область.
Введем шаблон "!@x "
с переменными: [ "x" : A]
и переменной результата ["y":A] ;
Пояснения:""

Введем шаблон "do"
с переменными:
""
и переменной результата " y : команда " ;
Пояснения: [Пример]

Введем шаблон " if+(@x1,@x2)"
с переменными:
"x1,x2 : real"
и переменной результата " z:real " ;

A,B,C-области.
f:A->B.
a1,a2 - элементы области A.
f(a1)=b.
b2-элемент области B.
f(a2)=b2.

/* Первый пример комментария.
Обратите внимание на знаки начала и конца комментария. */.

a,b : boolean.
a=true.

Для всех[ t2 : boolean ]
[ true&t2 ] => [ t2 ] ("конъюнкция с истинной слева").

Для всех[ t2 : boolean ]

/* Текст взят из файла D:\My\Work\EDITOR\EXE\Example\Примеры синонимов.txt */.

Ф -область.
В-область.
В - синоним Ф.

Путь, скорость, время: real.

Путь= скорость*время.
Время= путь/скорость.
Скорость= путь/время.

Путь, скорость, время, ускорение: real.
"Начальная скорость": real.

/*[ Использованы примеры из книги Цаленко

Используем понятие "цвет".
оранжевый=желтый.
% Новый термин становится главным синонимом.

Используем понятие "цвет".

Апельсиновый - новый синоним желтый [Ярко желтый].

Используем понятие [E-R модель].
деталь - это сущность.
Свойства деталь :

/* Текст взят из файла D:\My\Work\EDITOR\EXE\Example\Сумма списка. */.

Введем шаблон " Sum(@lst)"
с переменными:
"lst : список"

/* Использованы примеры из книги Цаленко

Введем шаблон "fact(@n,@i,@y)"
с переменными:
"n,i,y :real_выражение"
и переменной результата " z:real_выражение " ;

Введем шаблон "factorial(@n)"
с переменными:
"n :real_выражение"
и переменной результата " z:real_выражение " ;