`⊗` and `⊕` are misaligned and slightly cut off

[sjeulu]

⊗-distrib-⊕ : ∀ A B C → A ⊗ (B ⊕ C) ≣ (A ⊗ B) ⊕ (A ⊗ C)
⊗-distrib-⊕  A B _ = &R
  (⊸R (⊗L [] (⊕L [ A ]
    (⊕R₁ (⊗R init init))
    (⊕R₂ (⊗R init init))
  )))
  (⊸R (⊕L []
    (⊗L [] (⊗R init (⊕R₁ init)))
    (⊗L [] (⊗R init (⊕R₂ init)))
  )) 

[tonsky]

Yeah, they are not currently in the font. What language is this?

[nokteholda]

maybe matematics