Constant lambda_calculus::term::DISPLAY_PRETTY

pub const DISPLAY_PRETTY: bool = true

Set to true for λ or false for \ when displaying lambda terms. The default is true.