Codifica caratteri

  • Creatore
    Topic
  • #39985
    ernded
    Partecipante
      Up
      0
      Down
      ::


      Il comando
      `
      \newcommand{\BS}{{\symbol{92}}}
      ` con il font di default mi produce un backslash se èsotto \texttt se invece è in roman mi dà il doppio apice. Come mai viene codificato in maniera diversa a seconda della forma del font?

    Visualizzazione 0 filoni di risposte
    • Autore
      Risposte
      • #39986
        Up
        0
        Down
        ::

        Il comando
        `
        \newcommand{\BS}{{\symbol{92}}}
        ` con il font di default mi produce un backslash se èsotto \texttt se invece è in roman mi dà il doppio apice. Come mai viene codificato in maniera diversa a seconda della forma del font?

        \textbackslash è già disponibile senza inventare l’acqua calda. 🙂

        Il tuo trucco funziona purché usi la codifica T1; il font normale in codifica OT1 non contiene la barra rovescia: dovendosi (volendosi) limitare a 128 caratteri, Knuth ne eliminò qualcuno di poco utile per metterci quelli importanti nella composizione del testo.

        Ciao
        Enrico

    Visualizzazione 0 filoni di risposte
    • Devi essere connesso per rispondere a questo topic.

    Go to top