How does one represent a dinkus in HTML? A <hr> with some styling? Not sure on the semantics here…