Publication date: 2023-10-30
Using "\overline{a}\overline{b}" looks the same as "\overline{ab}" in a Latex formula. This is not desired, especially when it has a different meaning like in Boolean algebra
Define a new command and afterwards use "\closure{a}\closure{b}" instead of "\overline{a}\overline{b}":
\newcommand{\closure}[2][3]{%
{}\mkern#1mu\overline{\mkern-#1mu#2}}