An Introduction to the Archimat Notation