[html] HTML entity for the middle dot