Constant TMT_MINDPI5 

pub const TMT_MINDPI5: THEME_PROPERTY_SYMBOL_ID;