Constant lambda_calculus::term::LAMBDA

source ·
pub const LAMBDA: char = 'λ';
Expand description

The character used to display lambda abstractions. The default is the Greek letter ‘λ’, but it can also be set to a ’' (backslash) using features = ["backslash_lambda"].