stroke

The short line that bisects editorial slurs and ties. Also known as a “notch”.