Fuente TeX:

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