For some reason grepper doesn't allow these characters to be pasted.
But you can use https://yaytext.com/monospace/ to get the monospace
alphanumeric characters.
(For some reason the website uses the normal 0,
so use https://unicode-table.com/en/1D7F6/ for the correct character)