private void add ( final String name , final String symbol , final double definition ) throws PrefixExistsException { addName ( name , definition ) ; addSymbol ( symbol , definition ) ; }
Adds a prefix to the database .