> They contradict Unicode. What? > The problem? Many of the programming ligatures shown above are easily confused with existing Unicode symbols. Oh. But that

> They contradict Unicode. What? > The problem? Many of the programming ligatures shown above are easily confused with existing Unicode symbols. Oh. But that’s not a contradiction? Ligatures are just for display and don’t really interfere with Unicode. I don’t see how you could be confused, really, considering the state of the art. Widespread Unicode in programming languages are rare. You probably know if you are in the process of reading Haskell code (ASCII) or Agda (Unicode).