蘑菇石是建筑装饰行业的一种装饰石材，表面粗糙，形如毛石，通常加工成长方形，用于外墙装饰.