GetFTSynonym[symbol]

Obtain the FormTracer-internal symbol name for the given symbol, for use with custom FORM rules.