V v \ a ^ b ^ t a \ \ \ tv \ax