@1

[]            : " |\t|\n"
[const_false] : "false|0"
[const_true]  : "true|1"
[not]         : "¬|-|\!|not"
[and]         : "∧|&|and"
[or]          : "∨|\||or"
[open]        : "\(|\["
[close]       : "\)|\]"

{constant_false} : <formula> : [const_false]
{constant_true}  : <formula> : [const_true]
{negation}       : <formula> : [not] <formula>
{conjunction}    : <formula> : <formula> [and] <formula>
{disjunction}    : <formula> : <formula> [or] <formula>
{priorised}      : <formula> : [open] <formula> [close]

<formula>