- x = x\^\ (unsigned int)t1;\\
- x = x\^\ (unsigned int)(t2$>>$32);\\
- x = x\^\ (unsigned int)(t3$>>$32);\\
- x = x\^\ (unsigned int)t2;\\
- x = x\^\ (unsigned int)(t1$>>$32);\\
- x = x\^\ (unsigned int)t3;\\
+ x = x\textasciicircum (unsigned int)t1;\\
+ x = x\textasciicircum (unsigned int)(t2$>>$32);\\
+ x = x\textasciicircum (unsigned int)(t3$>>$32);\\
+ x = x\textasciicircum (unsigned int)t2;\\
+ x = x\textasciicircum (unsigned int)(t1$>>$32);\\
+ x = x\textasciicircum (unsigned int)t3;\\