Hmm, yeah, you’re right – in English this isn’t really used. However it’s a widely used punctuation in Russian (and many ex-USSR languages, too), so... no, they are needed in some cases.

▲

layer8 6 days ago | parent [-]

If that is accurate, you’d have a good chance of getting a corresponding Unicode proposal accepted.

	▲	notpushkin 6 days ago \| parent [-]
		It doesn’t really make sense to me – those new characters would mostly just look the same as the combination of symbols used right now, be harder to type, and share all of the other flaws I’ve mentioned above. Might be fun though!