Fix symbols in user documentation.
Add spectral norm test from benchmarks game.