Rel Lexical Symbols

Table of Lexical Symbols for the Rel language.

General Language

SymbolOperator Name
.dot
...splat
,comma
;semicolon
:colon
()parentheses (precedence)
()parentheses (application)
{}curly braces (precedence)
{}curly braces (definitions)
[]square brackets
=equal (definitions)
in

Logical Operations

SymbolOperator Name
or
and
¬not
exists
forall
, , xor
, iff
, implies
|, <|, |>for

Data Type Constants

SymbolData Type
", """String
'Character
:RelName
., e, EFloating-point Number
0xUnsigned Integer

Mathematical Operations

SymbolOperator Name
+add
-subtract
*multiply
/divide
÷trunc_divide
%remainder
×cart
^power
=eq
, !=neq
, >=gt_eq
, <=lt_eq
>gt
<lt
Σsum

Relation Operations

SymbolOperator Name
union
intersect
proper_superset
proper_subset
superset
subset
++>right_override
<++left_override
:>suffix_join
<:prefix_join

Infix Symbols

User-defined Symbols
, , , , , , , , , , , , infix symbols