Hervé Girod - 2023-05-03

Fix the plusmn (which was wrongly named plusnm) and trade (which had an invalid unicode value) html entities
Add the harr, nabla, dagger html entities