this post was submitted on 13 Jun 2023
        
      
      493 points (100.0% liked)
      Programming
    14465 readers
  
      
      15 users here now
      All things programming and coding related. Subcommunity of Technology.
This community's icon was made by Aaron Schneider, under the CC-BY-NC-SA 4.0 license.
        founded 2 years ago
      
      MODERATORS
      
    you are viewing a single comment's thread
view the rest of the comments
    view the rest of the comments
Looks to me like it has a ligature that visually appears as two separate characters but are spaced to be close together. See the
<=in the code examples on the page.