{
  "alfredsnippet" : {
    "snippet" : "Ø",
    "uid" : "1747591A-69A6-4349-87FA-0B970F506C9E",
    "name" : "Ø",
    "keyword" : "emptyset"
  }
}