replaced with the pdf file: Abridged notation