Added tex file with the start of the notation.  Excluded tex side effects.