Io per scrivere formule uso OpenOffice Math o Mathematica.
Wikipedia fa uso se non sbaglio di una libreria opensource scritta in C, ma non ricordo il nome, che comunque dovrei aver segnato da qualche parte. In ogni caso utilizza il linguaggio LaTex.
a^2 = ba
a^2 * b^2 = ab - b^2
Non ho capito il passaggio: già da qui viene falso, perché 1^2*1^2=1*1=1 mentre 1*1-1^2=1-1=0