Useful HTML Code

In response to a comment on a Fandom Grammar draft, I have discovered there is an HTML character entity for a thin space, which is useful for things like setting nested single/double quotation marks.

It's