\b{tabular}[t]{|c|l|} \hline v = t & for assigning \\ t = v & for unifying \\ \hline \e{tabular}