{
  "alfredsnippet" : {
    "snippet" : "⇔",
    "uid" : "841665F7-F770-4325-8171-BD4658A1B677",
    "name" : "⇔",
    "keyword" : "equivalence"
  }
}