How does one go from a Unicode character to its description?

Question

I came across this cute little symbol today:

Answer 1

This information comes from the Unicode Character Database.

Specifically, the code points and their names (and other info like the category of a code point) are defined in UnicodeData.txt.

A lot of programming languages have this information in the standard library, eg. the unicodedata module of Python.