I agree with your thought that a useful transcription of the colon followed by an equal sign is putting these two symbols together without a space and with a dot 5 between them to show they are compounded horizontally.
:= _% f(x) 3".k x^2 _:
-
This reply was modified 3 years, 2 months ago by kdejute.