text: #!/usr/bin/env python3
  from symcollab.theories import BooleanRing, RingConstant
  
  a = RingConstant(BooleanRing, "a")
  b = RingConstant(BooleanRing, "b")
  zero = BooleanRing.zero
  
  print("a ⊕ a =", str(a + a))
  print("a ⊗ a =", str(a * a))
  print("a ⊕ 0 =", str(a + zero))
  print("a ⊗ 0 =", str(a * zero))
  print("a ⊗ b = b ⊗ a is", a * b == b * a)
  print("a ⊕ b = b ⊕ a is", a + b == b + a)
  print("a ⊕ a ⊕ b =", str(a + a + b))
  print("b ⊗ (a ⊕ a) =", str(b * (a + a)))
  print("a ⊗ b =", str(a * b))
  