Таблица соответствия RSL символов и их ASCII представления
RSL |
ASCII |
семантика |
|
>< |
декартово произведение |
|
|| |
комбинатор параллельности |
|
|=| |
комбинатор внешнего выбора |
++ | оператор interlock | |
|^| | комбинатор внутреннего выбора | |
|
** |
возведение в степень |
|
/\ |
конъюнкция |
|
\/ |
дизъюнкция |
=> | импликация | |
|
>= |
больше либо равно |
|
<= |
меньше либо равно |
~= | не равно | |
is | тождественно | |
|
inter |
пересечение |
|
union |
объединение |
|
>> |
вкладывает |
|
>>= |
совпадают или вкладывает |
|
<< |
вложено в |
|
<<= |
совпадает или вложено в |
|
isin |
принадлежит |
|
~isin |
не принадлежит |
|
-\ |
|
* |
-list |
суффикс конечного списка |
|
-inflist |
суффикс бесконечного списка |
<. | левый комбинатор списка | |
.> | правый комбинатор списка | |
|
:- |
комбинатор уточнения "такой, что" |
|
<-> |
|
|
all |
квантор всеобщности |
|
exists |
квантор существования |
|
always |
темпоральный оператор всеобщности |
|
-m-> |
комбинатор отображения |
|
+> |
комбинатор элемента отображения |
|
!! |
оператор обновления отображения |
|
# |
композиция |
|
-> |
функциональная стрелка всюду определенной функции |
|
-~-> |
функциональная стрелка частично-определенной функции |