pygae/galgebra

\begin{split}\begin{aligned}
  A+B &=  \texttt{A+B} \\
  A-B &=  \texttt{A-B} \\
  AB &=  \texttt{A*B} \\
  A \wedge B &=  \texttt{A^B} \\
  A \cdot B &=  \texttt{A|B} \\
  A \rfloor B &=  \texttt{A<B} \\
  A \lfloor B &=  \texttt{A>B} \\
  A/B &=  \texttt{A/B} \\
\end{aligned}\end{split}