The tooltip about \rangle doesn't display the right unicode character, as shown by the joined picture.
\rangle
the bug is in utilities/latex2e.html. maybe you want to fix it ?
Done.
Log in to post a comment.
the bug is in utilities/latex2e.html.
maybe you want to fix it ?
Done.