question: static public UniqueString resolveSynonym ( UniqueString name ) { Operator n = ( Operator ) DefinitionTable . get ( name ) ; if ( n == null ) return name ; else return n . getIdentifier ( ) ; }
target:  resolveSynonym has the property that                                    * resolveSynonym(a) = resolveSynonym(b)                                * iff either a = b or a and b are synonyms (like (+) and \oplus).  If a   has no synonmys, then resolveSynonym(a) = a.                           