It appears that any docstrings that have LaTeX in them (surrounded by double backticks) need to be preceded by
@doc_str. Is that correct? The documentation hints at this, but it’s not very clear.
Also, do backslashes need to be escaped within double backticks or not? The documentation shows examples both ways.