Establishing that a demand mapping is injective is core first step for a variety of methodologies. When a version of the law of demand holds, global injectivity can be checked by seeing whether the demand mapping is constant over any line segments. When we add the assumption of differentiability, we obtain necessary and sufficient conditions for injectivity that generalize classical Gale and Nikaido [1965] conditions for quasi-definite Jacobians. * I thank Nail Kashaev, Salvador Navarro, John Rehbeck, and David Rivers for helpful comments.