The totals procedure estimates the population total from the sample data as
where is a sample weight, usually representing the inverse of the probability of selection, sometimes adjusted for nonresponse and poststratified to match population totals of some other variables.
The variance matrix for the population totals is given by,