Should have added that these are the way to add characters that you want the Web to show literally and not as a preliminary instruction, for example, those arrows -- they are ampersandlt; and ampersandgt; --< and >--some are just numbers, for example, ampersand#163; is for a pound sign -- £.
yours, Peter T.
P.S. sorry about Tex, I remember seeing him many times at the Market.