This is a hint (Hinweis) text of GUPU taken literally from the system. It's probably not very interesting reading for you.
**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German (...)

Dieser Hinweis ist aus der Übung im WS 1994/95 oder aus einer noch älteren Übung oder war nie Teil einer Übung und ist daher möglicherweise für spätere Übungen nicht gültig!


Atome und Namen können nicht direkt einen
Bindestrich enthalten (siehe Skriptum Seite 3)

    a-b ist kein Atom
    a_b ist ein Atom

Wenn Sie unbedingt einen Bindestrich schreiben
wollen, dann schreiben Sie:
    'a-b'

Dasselbe gilt auch für andere Zeichen wie /.

Zurück zum ^^Hauptverzeichnis

Wenn Sie's genau wissen wollen: Der Bindestrich
ist ein Operator. Der Term a-b entspricht dem
Term -(a,b). Also einer Struktur mit Namen
'-' und der Stelligkeit zwei.

**NEXT:To continue the guided tour go back where You came from
**NEXT:Continue reading the hints in German