next | previous | forward | backward | up | top | index | toc | home

dictionary -- determine the dictionary to which a symbol belongs

Synopsis

Description

If x is the value of a symbol recorded in ReverseDictionary, then that symbol is used.

Ways to use dictionary :