pub const CONCATENATED: &'static str = "[0, +∞)";