Constant TMT_INTEGRALSIZING

pub const TMT_INTEGRALSIZING: THEME_PROPERTY_SYMBOL_ID;