Ich sehe es anders. Kurze waagerechte Striche gibt es sowohl in der Typographie als auch in der Rechtschreibung. Diese beiden Bereiche mit Zuteilung der jeweiligen Bezeichnungen für die kurzen waagerechten Striche werden in den ersten beiden Sätzen säuberlich getrennt. Das "er" im zweiten Satz kann man auch auf "kurzer waagerechter Strich" beziehen (Ende des ersten Satzes). Es wäre stilistisch unschön, "der kurze waagerechte Strich" unmittelbar danach ausführlich zu wiederholen, nur weil Troubled @sset geradezu zwanghaft behauptet, hier würden Typographie und Rechtschreibung unzulässig vermischt. Das trifft nicht zu.