search

fmidue / logic-tasks

0 stars 1 forks source link

Unicode-Pfeile? #61

Closed jvoigtlaender closed 1 month ago

jvoigtlaender commented 11 months ago

Für /\ etc. scheint ja Ein- und Ausgabe jetzt (durchgängig?) auch mit Unicode-Symbolen zu gehen.

Ist das auch für =>, <=, <=> möglich?

owestphal commented 11 months ago

Prinzipiell ja, hatte ich aber nicht gemacht, weil die verfügbaren Symbole das lesen eher schwieriger machen, meiner Meinung nach. Das einzige Zeichen für die Biimplikation ist z.B. das sehr kleine Zeichen ⇔. In einer Formel sieht das sehr seltsam aus: 2023-11-09_11-51

(das Leerzeichen hinter ⇔ ist nicht Teil des Symbols. Ohne das Leerzeichen wird ⇔ im Terminal allerdings von den nachfolgenden Zeichen zur Hälfte verdeckt.)