New light on faint stars - IV. Proper motion surveys and the luminosity function | Synapse