Fuente TeX:

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