Change symbol used in horizontal line

The new symbol seems to work better with different fonts.