Triple vector product