Index   Zurück   Fenster schliessen	defining_operator_symbol defining_operator_symbol ::= operator_symbol siehe LRM 6.1 wird genutzt von: defining_designator