added function for LaTex printing of Xor statements