samiel

Per inserire le lettere greche in modalità matematica:
`\documentclass[a4paper]{article}
\usepackage{fontspec}
\usepackage{polyglossia}
\setmainlanguage{italian}
\usepackage{listings}
\lstset{mathescape=true}

\begin{document}
\begin{lstlisting}
$\epsilon$

$\beta$
\end{lstlisting}
\end{document}`
Per scrivere davvero in greco… tutto da vedere!

m

So che le etichette non hanno alcun bisogno di apici o pedici,
e che potrebbero essere chiamante anche “topolino” o “pippo”.
Dal momento però che in quel file avevo attribuito loro la stessa stringa
della numerazione, mi aveva incuriosito capire perché la cosa non funzionava.
In realtà il giallo ha avuto un’appendice singolare. Ho confrontato
il mio codice con quello di OldClaudio, poi ho ricompilato cancellando
i file ausiliari. Ebbene, a questo punto ho ottenuto un messaggio
che mi diceva che era impossibile salvare il file logica.pdf (nato
dalla composizione di logica.tex) con quel nome, e mi proponeva
di attribuirgli un altro nome. Mi spiace di non aver registrato quel messaggio.
Ma qualsiasi nome alternativo proponessi, il problema si riproponeva.
Non sapendo come uscirne, ho addirittura riavviato il computer
e finalmente la compilazione è andata a buon fine. Altro mistero per me!
A questo punto in ogni caso il problema è risolto. Grazie a OldClaudio
per avermi seguito passo passo e a Enrico per il codice alternativo

m

C’è qualcosa che continua a sfuggirmi. Il problema non è \tag, bensì \label.
Prendiamo questo esempio:
`\documentclass[a4paper,12pt]{article}
\usepackage[T1]{fontenc}
\usepackage{fontspec}
\usepackage{amsmath}
\usepackage[math-style=upright]{unicode-math}
\setmainfont[Ligatures=TeX]{TeX Gyre Pagella}
\setmathfont{Asana Math}
\usepackage{polyglossia}
\setmainlanguage{italian}
\usepackage{microtype}

%\newcommand\ap[1]{\textormath{\textsuperscript{#1}}{^{\mathrm{#1}}}}
%\newcommand\ped[1]{\textormath{\textsubscript{#1}}{_{\mathrm{#1}}}}

\providecommand*\ap[1]{\textormath{\textsuperscript{#1}}{^{\mathrm{#1}}}}
\providecommand*\ped[1]{\textormath{\textsubscript{#1}}{_{\mathrm{#1}}}}

%\newcommand{\superscript}[1]{\ensuremath{^{\textrm{#1}}}}
%\newcommand{\subscript}[1]{\ensuremath{_{\textrm{#1}}}}

%\makeatletter
%\newcommand\textsubscript[1]{\@textsubscript{\selectfont#1}}
%\def\@textsubscript#1{{\m@th\ensuremath{_{\mbox{\fontsize\sf@size\z@#1}}}}}
%\newcommand\textbothscript[2]{%
% \@textbothscript{\selectfont#1}{\selectfont#2}}
%\def\@textbothscript#1#2{%
% {\m@th\ensuremath{%
% ^{\mbox{\fontsize\sf@size\z@#1}}%
% _{\mbox{\fontsize\sf@size\z@#2}}}}}
%\def\@super{^}\def\@sub{_}
%
%\catcode`^\active\catcode`_\active
%\def\@super@sub#1_#2{\textbothscript{#1}{#2}}
%\def\@sub@super#1^#2{\textbothscript{#2}{#1}}
%\def\@@super#1{\@ifnextchar_{\@super@sub{#1}}{\textsuperscript{#1}}}
%\def\@@sub#1{\@ifnextchar^{\@sub@super{#1}}{\textsubscript{#1}}}
%\def^{\let\@next\relax\ifmmode\@super\else\let\@next\@@super\fi\@next}
%\def_{\let\@next\relax\ifmmode\@sub\else\let\@next\@@sub\fi\@next}
%\makeatother

\begin{document}

\begin{equation*}
p \leftrightarrow q
\end{equation*}
bla bla
\begin{equation}
p \leftrightarrow q
\label{equ:coimplicazione}
\end{equation}
bla bla
\begin{equation}
p \leftrightarrow q \tag{D\ped2}
%\label{equ:D\ped2}
\end{equation}

x\ap2

x\ped2

$x\ap2$

$x\ped2$

\end{document}`
Se commento la riga \label, tutto funziona correttamente. Il comando \ped
individua se la modalità è o non è matematica, e usa dietro il sipario _ oppure \textsubscript.
Infatti il risultato è corretto. Ma se decommento \label, allora ottengo:
`! Missing \endcsname inserted.

\bgroup
l.8 …qu:D_{\mathup {2}}}{{{D_{\mathup {2}}}}{1}}

? `
E qualsiasi stringa io inserisca in \label per il pedice, mi dà errore

m

Tuttavia
`\documentclass[a4paper,12pt]{article}
\usepackage[T1]{fontenc}
\usepackage{fontspec}
\usepackage{amsmath}
\usepackage[math-style=upright]{unicode-math}
\setmainfont[Ligatures=TeX]{TeX Gyre Pagella}
\setmathfont{Asana Math}
\usepackage{polyglossia}
\setmainlanguage{italian}
\usepackage{microtype}
%\newcommand\ap[1]{\textormath{\textsuperscript{#1}}{^{\mathrm{#1}}}}
%\newcommand\ped[1]{\textormath{\textsubscript{#1}}{_{\mathrm{#1}}}}
\providecommand*\ap[1]{\textormath{\textsuperscript{#1}}{_{\mathrm{#1}}}}
\providecommand*\ped[1]{\textormath{\textsubscript{#1}}{^{\mathrm{#1}}}}

\begin{document}

\begin{equation*}
p \leftrightarrow q
\end{equation*}
bla bla
\begin{equation}
p \leftrightarrow q
\label{equ:coimplicazione}
\end{equation}
bla bla
\begin{equation}
p \leftrightarrow q \tag{D\ped{2}}
\label{equ:D\ped{2}}
\end{equation}

\end{document}}`
mi dà errore:
`
! Missing \endcsname inserted.

\bgroup
l.8 …qu:D^{\mathup {2}}}{{{D^{\mathup {2}}}}{1}}

?

`
Impossibile avere il pedice anche in label?

m

Hai messo davvero molta carne al fuoco e ti ringrazio.
Il fatto che componendo con Xelatex si risolva è molto interessante.
Per quanto riguarda la composizione con pdflatex, dammi un po’ di tempo per capire e soprattutto provare.
In ogni caso, già con le altre indicazioni ho fatto indiscutibili passi avanti.
Ho visto inoltre che esistono parecchi pacchetti (alcuni però piuttosto vecchi)
per svariate esigenze di logica. Le mie sono abbastanza elementari, in ogni caso.
Adesso vedo un po’ di manuali di logica per capire se c’è piena uniformità
nelle convenzioni tipografiche…
m

Ho fatto qualche tentativo, del resto niente di complicato,
e trovato utili materiali qui:
http://www.logicmatters.net/latex-for-logicians/
Poiché tuttavia devo entrare in modalità matematica
per avere i simboli che mi servono, le variabili che in genere
sono lettere (ad esempio, in uno dei casi più elementari,
$ p \leftrightarrow q$) risultano in “corsivo matematico”.
Come posso impostarle stabilmente in tondetto,
secondo l’uso, senza dover scrivere decine di volte \mathrm?

m