Original	Umsetzung
$A\land B$	$A\land B$
$A\lor B$	$A\lor B$
$A\nsim B$	$A\nsim B$
$A\veebar B$	$A\veebar B$
$A\dot{\lor}B$	$A\dot{\lor}B$
$\lnot A$	$\lnot A$
$\bar{A}$	$\bar{A}$