|
| Операция | Арность | Нотация | Изображение |
|---|
| &h | 2 |
(a=1)&h(b=2) |
 |
| &h. | 2 |
(a=1)&h.(b=2) |
 |
| &H | 2 |
(a=1)&H(b=2) |
 |
| &v | 2 |
(a=1)&v(b=2) |
 |
| \spacR | 2 |
a\spacR=1 |
 |
| \spacL | 2 |
a=1\spacL |
 |
| \spcno1 | 2 |
a\spacR\spcno1=1 |
 |
| \spcno2 | 2 |
| \spcno3 | 2 |
| <if- | 2 |
(a<if-A)&e(b <if-B)&e(c<other) |
 |
| c <other | 1 |
В нотации предполагается нумерация формул.
Например,написав
$$((x^2+y^2=1)&e(x=y))\Nfr1$$
получим
Можно нумеровать отдельные формулы системы:
$$((x^2+y^2=1)\Nfr1.1)&e((x=y)\Nfr1.2)$$
Перенос части формулы в другую строку производится автоматически.
Но иногда необходимо выполнить перенос принудительно. Такой перенос
с помощю комбинации символов \p выполняется после операций
+, -, * (*.)
и отношений
=, >, <, ==, >=, <=, <> .
Например, написав
$$F(x)=\pG(x)$$
получим
.
