{
  "codepoint": "U+2237",
  "codepoint_dec": 8759,
  "name": "PROPORTION",
  "glyph": "∷",
  "annotations": []
}