Constant TMT_INTEGRALSIZING 

pub const TMT_INTEGRALSIZING: THEME_PROPERTY_SYMBOL_ID;