pub const integral: Symbol;