Set: pp::colors
  Set: pp::unicode
2
2
2
1
- 8 mod 3
  Set: lean::pp::notation
Int::mod (Nat::neg 8) 3
-2
-8