{
  "codepoint": "U+211D",
  "codepoint_dec": 8477,
  "name": "DOUBLE-STRUCK CAPITAL R",
  "glyph": "ℝ",
  "annotations": [
    {
      "kind": "alias",
      "text": "the set of real numbers",
      "tag": null,
      "targets": []
    },
    {
      "kind": "decomp-approx",
      "text": "",
      "tag": "<font>",
      "targets": [
        {
          "codepoint": "U+0052",
          "name": "LATIN CAPITAL LETTER R"
        }
      ]
    }
  ]
}