- Questo topic ha 3 risposte, 2 partecipanti ed è stato aggiornato l'ultima volta 7 anni, 2 mesi fa da .
-
Topic
-
Salve,Devo usare una breve combinazione di simboli logici (\sqaure e \rightarrow) per una formula di logica modale. Quando do il comando:
A$\square\rightarrow$B
mi viene uno spazio trooppo grande tra il quadratino e la freccia (allego due foto, quella con A e B è la mia, con A e C è quella che vorrei ottenere).
è solo una questione estetica, però mi piacerebbe ridurre lo spazio tra i due simboli logici (è anche una cosa di sostanza, perché il qudratino dovrebbe essere considerato un tutt’uno con la freccia, un unico connettivo logico).Grazie in anticipo e scusate se la domanda è sciocca,
Lorenzo
[attachment=2264]Schermata2019-06-26alle19.39.58.png[/attachment][attachment=2265]Schermata2019-06-26alle19.40.23.png[/attachment]
- Devi essere connesso per rispondere a questo topic.