Fix build
Add some properties of inner product and change V to \mathbb{V}