! Undefined control sequence.
\tand #1#2#3->[#1\uparrow {}(\overbar
                                      {#2\uparrow {}#3)]}
l.26 $\tand{X_0}{X_1}{X_3}
                          $
?