Fuente TeX:

A[2]_{nuevo}= A[2]_{actual} \wedge B[2]_{actual}