Nice symbol for covering