Integral_symbol loading ...