As a general rule, all names in GRÖBNER contain only lowercase letters. The only exception of this rule are abbreviations for data types (see Section 7.2) and proper names (e.g. S-polynomial). If a name consists of several words, these words are separated by the underscore character ``_''.