Constant integral 

pub const integral: Symbol;