Python:
    Unicode char from codepoint:
        # https://stackoverflow.com/a/10715694
        chr(int("codepoint", 16))