Docstrings could be polished by using the @doc macro with raw"..." strings, see https://juliadocs.github.io/Documenter.jl/stable/man/latex/#Escaping-Characters-in-Docstrings-1. This would get rid of the current abundance of backslashes due to string escaping.