^xat \ v \ \ u \ \ vv c \\