{
  "alfredsnippet" : {
    "snippet" : "ℝ",
    "uid" : "CBDB167B-6A6E-43D4-BD82-352121B2A922",
    "name" : "R",
    "keyword" : ""
  }
}