Attention font nerds! What is this glyph? It appears twice in the Hershey font and I can't find a unicode equivalent!

https://octodon.social/media/jZ6ijnSAZyRBCKIHQw4