If I do
Format[$hello, StandardForm] := "world"
then
Put[HoldComplete[Format[$hello, StandardForm]], "file.m"]
or
Export["file.m", HoldComplete[Format[$hello, StandardForm]]]
file.m
will contain
HoldComplete["\"world\""]
How do I get literally
HoldComplete[Format[$hello, StandardForm]]
in the exported file?