Lower and upper by Wei Wang

(compilation error)

Definition can not be compiled into PDF.