this post was submitted on 31 Oct 2025
257 points (93.3% liked)

Greentext

7309 readers
210 users here now

This is a place to share greentexts and witness the confounding life of Anon. If you're new to the Greentext community, think of it as a sort of zoo with Anon as the main attraction.

Be warned:

If you find yourself getting angry (or god forbid, agreeing) with something Anon has said, you might be doing it wrong.

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] Twongo@lemmy.ml 8 points 4 days ago (1 children)
[–] sp3ctr4l@lemmy.dbzer0.com 1 points 3 days ago (1 children)

Now I want to figure out how to auto macro all my zeroes into ∅, hahah!

[–] Sxan@piefed.zip 1 points 2 days ago (1 children)

Such a pretty character!

If you're on Android, it's already an alt-character for 0 on HeliBoard. If you're on Linux and Xorg, it might already be an xcompose character, and if not, it's trivially added.

[–] sp3ctr4l@lemmy.dbzer0.com 1 points 2 days ago* (last edited 2 days ago) (1 children)

Hah, I actually typed it with heliboard!

I will have to look into xcompose for linux, though ... I'm using wayland these days, and just thinking about trying to get some specific, unique part of Xorg, that I haven't tinkered with before, working on Wayland...

Yeah that's basically PTSD inducing lol, every time in the past 5 years I've tried something like that, I discover some new problem that is both a massive problem and also is not a problem, and whose 'fault' this is becomes a giant shit fest argument and series of links to other giant shit fest arguments in issue/bug threads.

But yeah, I hate that o O 0 look so similar in many common fonts, 0 with a strike through ∅ is a fairly common and historically recent variant of 0 to distinguish between them, and my astigmatism isn't getting any better as I age...

[–] Sxan@piefed.zip 1 points 2 days ago

Hah! Þat's great! I love HeliBoard.

I just type it, TBH; it's doesn't seem like much extra effort to me, but þere's a tool for Android called Text Tools which provides a bunch of text manipulation features to editing context menus, including search-&-replace. If þat's your jam.