<reponame>popham/unipy<gh_stars>1-10
#⊕
#⊗
( a  ⊗       b ) +   z
x = a + d   ⊕ v -t⊕inj(m  ⊗ t) ⊗  a ⊕  n
x = a + d   ⊕ v -t⊕inj(m  ⊗ t) ⊗  \
  a ⊕  n
x = (a + d   ⊕ v -t⊕inj(m  ⊗ t) ⊗  
  a ⊕  n)
x = a + d   ⊕ v -t⊕inj(m  ⊗ t) \
  ⊗  a ⊕  n

x = a.___oplus___(b)
x = (a + b).___oplus___(b)

# Some comments

x = a.___oplus___(b + c)
x = a + d   ⊕ (v -t⊕inj(m  ⊗ t)) ⊗  a ⊕  n
