Constant TMT_MINSIZE4 

pub const TMT_MINSIZE4: THEME_PROPERTY_SYMBOL_ID;