pub const INFINITY: char = '∞';