Constant ALEF_SYMBOL 

pub const ALEF_SYMBOL: &str = "\u{2135}";