Grazie del suggerimento Enrico. Conosco la simbologia che utilizza il tuo libro. Ed in effetti, a parte “per ogni”, “esiste” ed “implica” che sono descritti con una simbologia differente, la scrittura
`
(\forall x >0) P(x)
`
signifca
`
(\forall x) x>0 \implies P(x)
`
sempre e comunque. Si potrebbe dire che la prima è uno shortcut (mi pare si dica così in lingua anglosassone) della seconda. Ma quando si devono scrivere formule complicate, come quella di limite, si tende a scrivere una cosa come quella che ho scritto prima. Di solito la scrivo a parole, perché odio la simbologia troppo spinta, ma gli studenti la vedono spesso in matematichese e sicché mi tocca anche ad inserirla nelle mie note scritta in matematichese, altrimenti si solleva una sommossa popolare! Però mi piacerebbe che fosse una scrittura “bellina” e non orrenda come la si vede di solito.
Poiché LaTeX di solito è perfetto nello scegliere le spaziature, mi domandavo se vi fosse un modo canonico di comportarsi, oppure se la simbologia logica è utilizzata un po’ più arbitrariamente.
Ciao,
Andrea