That's what I said. To the programming language it's just a token and representing that with a single ligature is fine. I replied to a comment, that the docume

That's what I said. To the programming language it's just a token and representing that with a single ligature is fine. I replied to a comment, that the document is character-based and therefore ligatures are inherently wrong.