[report] symbols and notation