( f : x ↦ ( x 2 ) ) ← 5 = 25 {\displaystyle {{\left({{f}:{{x}\mapsto {\left({{x}^{2}}\right)}}}\right)}\gets {5}}=25}