Terminal symbol

Other languages

 * German Endsymbol