You can buy this project and download/modify it how often you want.
VARIABLE=1 TRUE=2 FALSE=3 LBR=4 RBR=5 NOT=6 AND=7 OR=8 IMPL=9 EQUIV=10 WS=11 '$true'=2 '$false'=3 '('=4 ')'=5 '~'=6 '&'=7 '|'=8 '=>'=9 '<=>'=10