#symbol unavailable #cannot write #forbidden symbol #restricted symbol #empty set #non-existent symbol