On injective endomorphisms of symbolic schemes