Mögliche Schreibweisen ergänzen

[KatinkaMeer]

Die Symbole ¬ ∨ ∧ können in der Auflistung, der möglichen Schreibweisen auftauchen.
Dadurch wird klar, dass es möglich ist diese Ausdrücke zu kopieren und dann einzufügen, ohne einen Syntaxfehler zu erhalten.

[jvoigtlaender]

Passieren tut diese Ausgabe der "Legende" in folgenden Definitionen:

logic-tasks/src/LogicTasks/Helpers.hs

Lines 63 to 141 in 8a9537b

	clauseKey :: OutputMonad m => LangM m
	clauseKey = do
	keyHeading
	negationKey
	orKey
	pure()
	cnfKey :: OutputMonad m => LangM m
	cnfKey = do
	clauseKey
	andKey
	pure ()
	formulaKey :: OutputMonad m => LangM m
	formulaKey = do
	keyHeading
	basicOpKey
	pure ()
	basicOpKey :: OutputMonad m => LangM m
	basicOpKey = do
	negationKey
	andKey
	orKey
	pure()
	keyHeading :: OutputMonad m => LangM m
	keyHeading =
	paragraph $ translate $ do
	german "Beachten Sie dabei die folgenden möglichen Schreibweisen:"
	english "You can use any of the following notations:"
	andKey :: OutputMonad m => LangM m
	andKey =
	paragraph $ indent $ do
	translate $ do
	german "Und:"
	english "And:"
	translatedCode $ flip localise $ translations $ do
	german "/\\, und"
	english "/\\, and"
	pure ()
	orKey :: OutputMonad m => LangM m
	orKey =
	paragraph $ indent $ do
	translate $ do
	german "Oder:"
	english "Or:"
	translatedCode $ flip localise $ translations $ do
	german "\\/, oder"
	english "\\/, or"
	pure ()
	negationKey :: OutputMonad m => LangM m
	negationKey =
	paragraph $ indent $ do
	text "Negation:"
	translatedCode $ flip localise $ translations $ do
	german "-, ~, nicht"
	english "-, ~, not"
	pure ()
	arrowsKey :: OutputMonad m => LangM m
	arrowsKey = do
	paragraph $ indent $ do
	translate $ do
	english "Implication:"
	german "Implikation:"
	code "=>, <="
	pure ()
	paragraph $ indent $ do
	translate $ do
	english "Bi-Implication:"
	german "Bi-Implikation:"
	code "<=>"
	pure ()
	pure ()

Im Wesentlichen ginge es um einen Abgleich bzw. eine Übernahme der "Tokensymbole", die vom Parser tatsächlich als Eingabe akzeptiert werden, hier:

logic-tasks/src/UniversalParser.hs

Lines 138 to 169 in 8a9537b

	-- parser for operations
	orParser :: Parser ()
	orParser =
	keyword "or"
	<|> keyword "oder" {- german -}
	<|> tokenSymbol "∨" <|> tokenSymbol "\\/"
	<?> "Disjunction"
	andParser :: Parser ()
	andParser =
	keyword "and"
	<|> keyword "und" {- german -}
	<|> tokenSymbol "∧" <|> tokenSymbol "/\\"
	<?> "Conjunction"
	implicationParser :: Parser ()
	implicationParser = tokenSymbol "=>" <?> "Implication"
	backImplicationParser :: Parser ()
	backImplicationParser = token (void (string "<=") <* notFollowedBy (char '>')) <?> "(Back-)Implication"
	biImplicationParser :: Parser ()
	biImplicationParser =
	tokenSymbol "<=>"
	<|> keyword "iff" <|> keyword "gdw"
	<?> "BiImplication"
	negationParser :: Parser ()
	negationParser =
	keyword "not" <|> keyword "nicht"
	<|> tokenSymbol "¬" <|> tokenSymbol "~" <|> tokenSymbol "-"
	<?> "Negation"

[jvoigtlaender]

In #85 wurde vorgeschlagen, das hinter einer expliziten Konfigurationsoption zu "verstecken".