*View this file with results and syntax highlighting [here](https://mlochbaum.github.io/BQN/help/not_span.html).*

# Not (`¬`)
    
## `¬ 𝕩`: Logical Not  
    
Logical Not of `𝕩`.
    
[Pervasive.](https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion)
    
          ¬ 0

          ¬ 1‿0

    
    
## `𝕨 ¬ 𝕩`: Span
    
Count of numbers in the inclusive range from `𝕩` to `𝕨`.
    
[Pervasive.](https://mlochbaum.github.io/BQN/doc/arithmetic.html#pervasion)
    
          3 ¬ 1

          3‿4 ¬ 0‿2