one tenth of a millimicron Synonyms