reserving symbols for covering dimension