Rename notation.md to universal-notation.md