`⇔` and `⇒` in docs

[prbzrg]

In this page, there are some strange characters (⇔ , ⇒): https://docs.julialang.org/en/v1/manual/noteworthy-differences/#Julia-and-hArr;-C/C:-Namespaces

[inkydragon]

https://github.com/JuliaLang/julia/blob/18d02c249a90a7c2d25ac5a99a14cf7a414a3295/doc/src/manual/noteworthy-differences.md?plain=1#L355

Julia ⇔ C/C++: Module loading

It looks like the Documenter.jl doesn't like HTML entities, maybe try switching to unicode.

[RossBoylan]

I see the same problem using FF 116.0.3 on MS Windows Server2019. But when I clicked on "edit the page in github" it displayed as intended, I think, with a double-line double-arrow.

[1j01]

There are also some <br> tags leaking through as HTML syntax, which wouldn't work to replace with newline characters, since they're in a Markdown table. The table could be replaced with an HTML table, though, for a quick fix, and the <br> tags outside of the table could use double spaces at the ends of the lines, although it may be a conscious choice to avoid that invisible syntax.

https://github.com/JuliaLang/julia/blob/18d02c249a90a7c2d25ac5a99a14cf7a414a3295/doc/src/manual/noteworthy-differences.md?plain=1#L428-L443

[Jay-sanjay]

Hey is the issue fixed , can someone share me the link to it's PR.

[prbzrg]

https://github.com/JuliaLang/julia/pull/53066 fixed this partially. There is still ⇒ and <br>.