(Moved to new thread since this a different topic focus. See also previous discussion in Unicode: a bad idea, in general)
stevengj
10
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Unicode: a bad idea, in general | 83 | 4992 | June 17, 2023 | |
| Syntax: Escape hatch for unicode haters | 128 | 5722 | January 16, 2024 | |
| Fonts in VS Code | 26 | 4035 | August 29, 2022 | |
| Naming: Remove all underscores to matter what? | 123 | 7945 | January 28, 2018 | |
| The Hegemony Of `==` Must End; Welcome The `⩵` Upstart | 46 | 6717 | July 7, 2021 |