The two-state vector formalism provides a time-symmetric description of quantum mechanics, and is constructed such as to be time-reversal invariant. It can be employed in particular for analyzing pre- and post-selected quantum systems. Building on the notion of two-state, Reznik and Aharonov constructed a time-symmetric formulation of quantum mechanics that encompasses probabilistic observables as well as nonprobabilistic weak observables.