Constant TMT_ALPHALEVEL 

pub const TMT_ALPHALEVEL: THEME_PROPERTY_SYMBOL_ID;