@lispi314 There are all kinds of technical reasons that's immensely difficult and wouldn't have happened. Whatever you think is difficult with Unicode, it's orders of magnitude harder to solve these problems when you have unbounded non-locality, lack of any real specification of what is equivalent to what, etc. - and it was hard enough to motivate people to solve the problems even when given a technical framework to make it tractable.