[rhplus]

It's real, but if you'd like to emulate it, there's a TTF font floating around out there:

http://lucacardelli.name/indexartifacts.html (go to Artifacts > Fonts tab).

Or, https://www.google.com/search?q=dijkstra+ttf+font