If I had to communicate the solution to this problem to someone else in writing, I'd probably write
...gives
$$4x+7=6x+2\text{.}$$
Subtracting $6x$ from both sides of this equation gives
$$-2x+7 = 2\text{.}$$
If the equality were one in a long chain, I'd write
$$\begin{split}&\ldots \\ 4x+7&=6x+2 \\ -2x+7&\stackrel{\text{(a)}}{=}2 \\ &\ldots \end{split}$$
We arrive at (a) by subtracting $6x$ from both sides...
If I were just typing up notes for myself, I'd write
$$\begin{split}&\ldots \\ 4x+7&=6x+2 && \\ -2x+7&=2 & &\text{subtract }6x\text{ from both sides} \\ &\ldots \end{split}$$
and in my calculation notebook I'd probably write
$$\begin{split}&\ldots \\ 4x&+7&=\,\,\, 6x+&2\\ \underline{-6x}& &\quad\underline{-6x} \\ -2x&+7&=&2 \\ &\ldots \end{split}$$
It seems that, in practice, I use words, not notation, to convey the idea of applying the same function to both sides of an equality to get a new equality. Flipping through a few textbooks suggests that most other mathematics users are largely the same in this respect. The preference for rhetorical instead of symbolic description and the lack of consensus on a notation suggest that having a notation for this idea is not that useful for most people.
On the other hand, people who work with proof assistants do need such an idiom, because doing the same thing to both sides of an equality to get a new equality is an important proof technique that needs to be formalized. For instance, Idris and Agda have cong
:
cong : {f : t -> u} -> (a = b) -> f a = f b
cong Refl = Refl
cong : ∀ {a b} {A : Set a} {B : Set b}
(f : A → B) {x y} → x ≡ y → f x ≡ f y
cong f refl = refl
I expect that this necessity is the motivation that GeoGebra's designers had in mind.