For years I have used '=>' as a sign meaning 'should be changed to' and I have long since forgotten whether this is a personal idiosyncrasy or an actual existing usage.
e.g. "in the sentence above word 'jive' => 'jibe.'"
Is this familiar usage to anyone? Anyone else besides me, I mean.