this post was submitted on 13 Jun 2023
664 points (98.3% liked)
Programming
3347 readers
1 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.