Master thesis "Identifier Namespaces in Mathematical Notation" - View it on GitHub