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