Vector triple product