Update documentation

Use <symbol>