Faber uses glyphs where the symbol is structural. Below is the full inventory
of source glyphs recognised by the lexer.
Value flow
| Glyph | Meaning |
|---|
← | Runtime binding, reassignment, and mutation |
→ | Function return type |
⇥ | Alternate exit — error-channel type or inline conversion recovery |
∴ | Compact therefore body (si cond ∴ redde x) |
Type shape
| Glyph | Meaning |
|---|
∷ | Static type ascription (compile-time cast) |
↦ | Runtime conversion (can-fail parse/coerce) |
∪ | Inline union type (T ∪ nihil) |
Comparison
| Glyph | Meaning |
|---|
≡ ≠ | Exact equality and inequality |
< > ≤ ≥ | Ordering |
≈ ≉ | Numeric value equality |
Logical and bitwise
| Glyph | Meaning |
|---|
∧ ∨ ⊻ ¬ | And, or, xor, not |
⇐ ⇒ | Left and right bit shift |
Assignment updates
| Glyph | Meaning |
|---|
← | The only assignment operator in expressions |
⊕ ⊖ | Postfix increment/decrement statements (mutable numerus only) |
Optional chaining and non-null assertion
| Glyph | Meaning |
|---|
? ?. ?[ ?( | Optional chaining |
! !. ![ !( | Non-null assertion |
Ranges
| Glyph | Meaning |
|---|
‥ | Exclusive range endpoint |
… | Inclusive range endpoint |
Literal delimiters
| Glyph | Type | Role |
|---|
' | ascii | Fixed machine tokens |
" | textus | Line string |
« » | textus | Block string (guillemets) |
` | forma | Captured template |
| ` | ` | octeti | Hex literal |
§ | template hole | Placeholder inside "…", «…», … |
Punctuation
| Glyph | Role |
|---|
( ) | Grouping and call |
{ } | Block, genus literal, or JSON document |
[ ] | List literal and indexing |
. | Member access |
, | Separator |
; | Statement separator |
: | JSON field separator |
= | Structural field shape (not runtime assignment) |
@ | Annotation marker |
# | Line comment |