Proposition added.
Examples with upper script.
Notation updated.
Bibliography added.
Updated the examples notation.
Fixes to the script.
Using land instead of cup.