Gruppo Utilizzatori Italiani di TeX

Spazio prima di \forall

  • Questo topic ha 5 risposte, 3 partecipanti ed è stato aggiornato l'ultima volta 19 anni, 1 mese fa da Gus.
  • Creatore
    Topic
  • 27 Luglio 2007 alle 8:00 #16405
    lorenzo.pantieri
    Partecipante
      Up
      0
      Down
      ::


      Ciao a tutti. Una finezza: che spazio ci va prima di \forall? Uno spazio sottile, un \quad, o che altro?
      `Si ha che $0<\alpha

    • Creatore
      Topic
    Visualizzazione 4 filoni di risposte
    • Autore
      Risposte
      • 27 Luglio 2007 alle 9:24 #16406
        minnolina
          Up
          0
          Down
          ::


          Se scrivi in linea e non in display il \forall non va proprio usato ma sostituito con le parole “per ogni”:
          `Si ha che $0<\alphahttp://www.cs.duke.edu/courses/cps300/fall01/handouts/mathwriting.ps pag.3

        • 27 Luglio 2007 alle 9:42 #16407
          lorenzo.pantieri
          Partecipante
            Up
            0
            Down
            ::


            Grazie mille Gloria, anche per la segnalazione del documento, davvero prezioso. Ora non resta che da stabilire lo spazio prima di \forall in modalità display!

            Ciao,
            L.

          • 27 Luglio 2007 alle 17:59 #16408
            Gus
              Up
              0
              Down
              ::


              Concordo con Gloria. Ma anche in display non userei \forall dopo la formula quantificata (e in questo caso continuerei a usare le parole esplicite). Userei il simbolo solo prima, come nell’espressione [\forall x P x] e in questo caso dai anche un occhiata al pacchetto gn-logic14.

              Gus

            • 27 Luglio 2007 alle 18:19 #16409
              lorenzo.pantieri
              Partecipante
                Up
                0
                Down
                ::

                Concordo con Gloria. Ma anche in display non userei \forall dopo la formula quantificata (e in questo caso continuerei a usare le parole esplicite). Userei il simbolo solo prima, come nell’espressione [\forall x P x] e in questo caso dai anche un occhiata al pacchetto gn-logic14.

                Ti ringrazio molto Gus per il consiglio e per la dritta sul pacchetto: sembra interessante, l’unica riserva è che è piuttosto datato (risale al 1995), e quindi magari può introdurre qualche effetto collaterale.

                Ancora grazie.

                Un salutone,
                Lorenzo

              • 27 Luglio 2007 alle 18:38 #16410
                Gus
                  Up
                  0
                  Down
                  ::

                  l’unica riserva è che è piuttosto datato (risale al 1995), e quindi magari può introdurre qualche effetto collaterale.

                  Ancora grazie.

                  Un salutone,
                  Lorenzo

                  Non solo, ho anche l’impressione che sia un po’ “artigianale” e segua i gusti dell’autore. Mentre concordo sul fatto che connettivi e quantificatori andrebbero spaziati un po’ di più, ho l’impressione che lui, come me, non abbia fatto una ricerca sugli usi in tipografia. Io, per esempio, a occhio metterei un \thinspace dove lui, se ricordo bene, mette uno spazio.

                  Come spesso accade in tipografia, temo che anche su questa questione non ci sia un risposta definitiva.

                  Ciao,

                  g

              • Autore
                Risposte
              Visualizzazione 4 filoni di risposte
              • Devi essere connesso per rispondere a questo topic.

              Go to top▲