Apologies for derailing the topic, but this font just broke me. I thought this was yet another character I didn’t know with a meaning just ever so slightly different from one I do.
I expected this:
Geez that looks different from what displays here (four verticals vs. three):
I need to figure out what font that is and ensure I’ve configured the Jitai font randomizer user script to use it. Whimper.