[wizzerking]

Pretty much a dirac delta function since Not(x) x < 0 = 0 >> Not sure about this x > 0 = 0 x = 0 - 1

[andromaton]

In the article, x is a Boolean.