{
  "alfredsnippet" : {
    "snippet" : "∅",
    "uid" : "E2620E2E-AD86-4DF3-9275-367E3FF39382",
    "name" : "∅",
    "keyword" : "empty_set"
  }
}