\ . { } a-z lambda λ bag ⟅ ⟆ to →