Background formal notations complete

The formal notations are now completed