pub const mul: Symbol;