[colejohnson66]

Ah. You’re right. I didn’t even think to check the actual codepoint. It still looks the same as it did when I commented hours ago, so it must just be my font then.