Die Resultate des \bar Befehls sehen bei mir nicht wirklich gut aus bzw nicht so wie ich mir das vorstelle.
(hässlich rechts zentriert, hätte das gern "mittiger")
BSP:
Given a literal $l,|l|$ denotes the atom of $l$, and $\bar{l}$
denotes the \emph {compliment} of $l$, i.e., if $l=a$ then $\bar{l}=\neg a$,
and if $l=\neg a$ then $\bar{l}=a$, while $|l|=a$ in both cases.
Bin für jeden Hinweis dankbar
Thx i.a 