Rel Lexical Symbols

Table of Lexical Symbols for the Rel language.

General Language

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

Logical Operations

Symbol	Operator Name
`∨`	`or`
`∧`	`and`
`¬`	`not`
`∃`	`exists`
`∀`	`forall`
`⊻`, `≢`, `⇎`	`xor`
`⇔`, `≡`	`iff`
`⇐`, `⇒`	`implies`
`\|`, `<\|`, `\|>`	`for`
`()`	`true`
`{}`	`false`

Data Type Constants

Symbol	Data Type
`"`, `"""`	`String`
`'`	`Character`
`:`	`RelName`
`.`, `e`, `E`	`Floating-point Number`
`0x`	`Unsigned Integer`

Mathematical Operations

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

Relation Operations

Symbol	Operator Name
`∪`	`union`
`∩`	`intersect`
`⊃`	`proper_superset`
`⊂`	`proper_subset`
`⊇`	`superset`
`⊆`	`subset`
`++>`	`right_override`
`<++`	`left_override`
`:>`	`suffix_join`
`<:`	`prefix_join`

Infix Symbols

User-defined Symbols
`⊗`, `⊙`, `⊕`, `⊔`, `⊓`, `∼`, `≼`, `≽`, `≺`, `≻`, `→`, `←`, `≈`	infix symbols