Definition:Inner Product/Also Denoted as

Also denoted as
Let $V$ be a vector space over a field $\GF$.

Let $\innerprod \cdot \cdot: V \times V \to \GF$ be an inner product on $\GF$.

$\innerprod x y$ is also denoted as $\left \langle {x; y} \right \rangle$.

If there is more than one vector space under consideration, then the notation $\innerprod x y_V$ for a vector space $V$ is commonplace.