{
  "binary": {
    "<->": "\\leftrightarrow",
    "%": "\\leftrightarrow",
    "->": "\\rightarrow",
    "$": "\\rightarrow",
    "&": "\\land",
    "^": "\\land",
    "|": "\\lor"
  },
  "unary": {
    "~": "\\lnot",
    "!": "\\lnot"
  },
  "symb": {
    "^": "\\bot"
  },
  "eg": {
    "<->": "($1($2))(($1)$2)",
    "%": "($1($2))(($1)$2)",
    "->": "($1($2))",
    "$": "($1($2))",
    "&": "$1$2",
    "|": "(($1)($2))"
  }
}