Symbol: mas_is_underflow