Translator
The Translator can be used to translate terms into other languages and also provides a definition for the respective term.

- In the top part of the page tabs are shown that allow to switch between List view, Tree View and Encyclopedia.

- Enter the expression to be translated.
- Select the language of the expression to be translated from the From Language list.
- Select the language to which the expression should be translated to from the To Language list.
- Select Translate.