UnRedKnown
Results
1
comments of
UnRedKnown
I doubt it is, since in other fonts the tilde is displayed as a tilde, and not an arrow.