[Trennmuster] Terminterpretation

[Alexander Malkis]

Hallo, zusammen,

gerade trennt mein lualatex
     Terminterpretation
als
     Ter-m-in-ter-pre-ta-ti-on
.

Die erste Trennstelle von links („Ter-m“) ist falsch: Die 
Terminterpretation ist die Interpretation eines/des Terms.  In der 
Sortenlogik ist eine Terminterpretation eine Funktion, die jedem Term 
eine weitere Funktion zuordnet, die Variablenbelegungen auf Werte 
abbildet. Man kann eine Terminterpretation alternativ als Funktion 
auffassen, die Paare aus Termen und Belegungen auf Werte abbildet.

Mit einem Termin im Sinne einer zeitlichen Verabredung hat eine 
Terminterpretation nichts zu tun.

Alle zulässigen Trennstellen wären
     Term-in-ter-pre-ta-ti-on
.
Präziser, in eurer Syntax:
     Term=in-.ter<pre-ta>ti-.on
oder
     Term=in-.ter<pre-ta-ti-.on
heißen, je nachdem, ob man „tion“ als Suffix (obschon ein lateinisches) 
ansieht oder nicht.  Wer auch immer sich ermuntert fühlt, das Wort in 
die Liste aufzunehmen – ich bitte drum.

Grüße
Alexander