Notation. some notations [1201A]
Notation. some notations [1201A]
We use
$$ K / F \qquad \text{or} \qquad \begin{aligned} &K \\ &| \\ &F \end{aligned} $$
to mean that $K$ is a field extension of $F$.
We use
$$ K / F \qquad \text{or} \qquad \begin{aligned} &K \\ &| \\ &F \end{aligned} $$
to mean that $K$ is a field extension of $F$.