fix `hvncat` docstring (#46017)

Commit

3 years ago

fix `hvncat` docstring (#46017) * fix `hvncat` docstring * use `\Rightarrow` instead of `\implies`