Таблица соответствия RSL символов и их ASCII представления

RSL

ASCII

семантика

><

декартово произведение

||

комбинатор параллельности

|=|

комбинатор внешнего выбора

++ оператор interlock
|^| комбинатор внутреннего выбора

**

возведение в степень

/\

конъюнкция

\/

дизъюнкция

=> импликация

>=

больше либо равно

<=

меньше либо равно

~= не равно
is тождественно

inter

пересечение

union

объединение

>>

вкладывает

>>=

совпадают или вкладывает

<<

вложено в

<<=

совпадает или вложено в

isin

принадлежит

~isin

не принадлежит

-\

 

*

-list

суффикс конечного списка

-inflist

суффикс бесконечного списка

<. левый комбинатор списка
.> правый комбинатор списка

:-

комбинатор уточнения "такой, что"

<->

 

all

квантор всеобщности

exists

квантор существования

always

темпоральный оператор всеобщности

-m->

комбинатор отображения

+>

комбинатор элемента отображения

!!

оператор обновления отображения

#

композиция

->

функциональная стрелка всюду определенной функции

-~->

функциональная стрелка частично-определенной функции