In der Tat ist die Entscheidung jetzt, dass für die Ausgabe bestimmte Formeln (etwa Musterlösungen) immer als SynTrees zu erzeugen sind. Maximal noch für die Eingabe sollen PropFormulas benutzt werden.
Originally posted by @jvoigtlaender in #221, and also:
Wenn dennoch eine PropFormula vorliegt und ausgegeben werden soll (zum Beispiel, um eine von Studierenden eingegebene Formel "vorsichtshalber" zur Gegenprüfung nochmal auszugeben), dann kann wie in #224 (comment) vorgeschlagen vorgegangen werden.
Originally posted by @jvoigtlaender in #221, and also:
Wenn dennoch eine
PropFormulavorliegt und ausgegeben werden soll (zum Beispiel, um eine von Studierenden eingegebene Formel "vorsichtshalber" zur Gegenprüfung nochmal auszugeben), dann kann wie in #224 (comment) vorgeschlagen vorgegangen werden.