We put the main result first, with commentary below.
To some extent this follows the notation and setup of Chapter IV, Section 3 of Serge Lang's Linear Algebra, 3e.
The notation deviates from that in these ways:
1. If $f$ is a function and $v$ is in the domain of $f$, we write the value of $f$ at $v$ any of three ways: $f(v)$ or $fv$ or $vf$.
As long as it is known which is a function and which can be an argument to that function, that should not be a problem.
2. Sometimes we have a column of values which need to be added up.
We introduce a notation which gives a vertical version of the standard symbol $\Sigma$ for summation.
For example,
\[ \begin{Bmatrix} {} v_1 \\ \vdots \\ v_n \end{Bmatrix} = \sum_{i=1}^n v_i \; \text{whereas} \begin{pmatrix} {} v_1 \\ \vdots \\ v_n \end{pmatrix} \text{is just a vertically oriented $n$-tuple.} \]
3. Consider the situation:
$f:X\to Y$ is a function and $e$ and $e'$ two expressions denoting the same element of $X$.
We introduce the expression
$(e=e')f$ to
1. Indicate that $e$ and $e'$ denote the same element in $X$, and 2. return the element of $Y$ which is the value of $f$ under $f$.
For a simple example,
\[ 2+3=5 \Rightarrow (2+3)^2=5^2 =25 = (2+3=5)^2 \, . \]
4. For an example, which appeared above, combining these notational conversations, consider
\[ \source { \left( \begin{Bmatrix} {} v_1 x_1 \\ \vdots \\ v_n x_n \\ \end{Bmatrix} \xlongequal[\text{basis}]v v \right) } \leftadj F \; , \]
which follows from
\[ \source{ v_1x_1 + \dots + v_nx_n \xlongequal[\text{basis}]v v } \]
and returns the common value
\[ \source{ (v_1x_1 + \dots + v_nx_n)\leftadj F \mathrel{\target =} v\leftadj F } \; . \]