[Ignore this issue] Tensor notation in Grover documentation is too big

[KetpuntoG]

This is an issue created to make a live demo at the in-person QHack event

As can be seen on the web. The tensor notation is very large. It would be better to use a smaller symbol.