Adding NotationSymbols Demo.