In digital electronics I use the overbar all the time when writing on paper
indicating negated logic. Unfortunately the overbar is not available in
ascii for netlisting purposes, so programs do this their own way. For
textual capture of netlists and high level code, we have to use fancy stuff
like reset_n, bRESET and so on when we actually mean
When I was taught digital electronics in university we wrote whole lines of
boolean expressions with bars over them. On paper, of course.
With the help of overlines, de Morgans theorem becomes easy to remember:
Split the line, change the sign. (With sign I mean OR or AND)
We sometimes needed more than one overline, as two identical overlines are
This usecase is probably never going to find support outside LaTex.
Mailing list: https://launchpad.net/~zim-wiki
Post to : email@example.com
Unsubscribe : https://launchpad.net/~zim-wiki
More help : https://help.launchpad.net/ListHelp