A new and general notation for life contingencies (Taylor and Walton, 1840)