HTML Editor - add HR Tag

Hi

Is it possible to add the HR tag to the HTML editor?