Aggregate excess demand (source code)

= Aggregate excess demand
{title2=$z(p)=\sum_i x_i(p,p\cdot\omega_i)-\sum_i\omega_i$}

<Aggregate excess demand> subtracts total endowment from the sum of consumers' <demand correspondences>. A market-clearing price satisfies $z(p)=0$. Under <Walras law>, one equation is redundant after price normalization.