LATEX многострочное уравнение (как вариант переноса строк и выравнивания)

многострочное уравнение можно вполне оформить с помощью таблицы с невидимыми разделителями ячеек.

Вот пример для уравнения из трёх строк с довольно приличным выравниванием (сделано на базе этой таблицы, но изменено выравнивание и убраны границы):

\begin{tabular}{ccl}
 
$x_4$ & $=$ & ${x_3}^{d_B} mod \: p =({x_2}^{d_A})^{d_B} mod \: p =$ \\
 & $=$ & $({x_1}^{c_B})^{d_Ad_B} mod \: p = {(m^{(c_A})}^{c_B d_A d_B} mod\: p =$ \\
   & $=$ & $ m^{c_A d_A c_B d_B} mod   \: p  = m^{(c_A d_A c_B d_B)\: mod\: (p-1)} mod   \: p = m$ \\
\\
\end{tabular}