julia

746fad00 - doc: replace harr HTML entity by unicode (#53066)

doc: replace harr HTML entity by unicode (#53066) Documenter does not support HTML entities. See discussion in PR #52078 for further background. Co-authored-by: Dilum Aluthge <dilum@aluthge.com>