standard format to copy TO HISTORY: x -> f(x) to f(x):=x^2

[compsystems]

hello, please team hpprime can make when a function definition is copy to entry line port to standard format

f: A -> B
a -> f(a)

example #0:
f: Z (set, # integers) -> N (set, # natural)
x -> f(x) with f(x)=x^2
x -> x^2

HP-prime

f(x):=x^2 [enter] returns (x)->x^2
[up] [copy] (x)->x^2 =(
[up] [up] [copy] f:=(x)->x^2 =( fuzzy notation

best

[up][copy] f(x):=x^2 =)