Neue Symbole für den Formeleditor

Problem: Sie nutzen im Starwriter den Formeleditor und wollen mathematische Symbole einfügen, die in der Standardauswahl nicht vorkommen. Eine Funktion, um zusätzliche Symbole auszuwählen, suchen Sie aber vergeblich.

Lösung: Die Symbole, die Ihnen im Formeleditor zur Verfügung stehen, können Sie nach Wunsch zusammenstellen. Die entsprechende Funktion verbirgt sich hinter dem Menüpunkt “Extras, Symbole, Katalog”. Um ein eigenes Symbol zu erstellen, gehen Sie wie folgt vor:1. Rufen Sie den Formeleditor auf, indem Sie den Befehl “Einfügen, Objekt, Formel” wählen. Klicken Sie auf “Extras, Symbole, Katalog” und dann auf die Schaltfläche “Bearbeiten”.2. Wählen Sie im Feld “Symbolset” den Zeichensatz “Spezial” aus, und klicken Sie dann auf das neue Zeichen, das Sie im Formeleditor verwenden wollen.3. In das Feld “Symbol” müssen Sie jetzt noch den Namen eintragen, über den Sie das Symbol im Kommandofenster des Formeleditors aufrufen wollen. Wählen Sie zum Beispiel den Existenz-Quantor ($) aus, und weisen Sie ihn dem Symbol “exist” zu.4. In das Kommandofenster des Formeleditors können Sie jetzt Ihre Formel eingeben, beispielsweise “%exist x: x>5”. Die Variable “%exist” erscheint im Textdokument dann als “$”.