OliForum Matematico

Ciao volevo sapere se qualcuno sapeva come faccio a scrivere il simbolo dell'assurdo alla fine di una dimostrazione per assurdo quando si arriva alla contraddizione. Intendo quella specie di saetta in obliquo.
Grazie

Avevo guardato qualche mese fa il "Latex comprehensive symbol list" (googla per trovare il pdf...); questa enciclopedica lista indica come fare quei quattro o cinque simboli diversi che ogni tanto vengono usati in giro per fare l'assurdo (anche quello che vuoi tu mi sembra), e poi avverte che visto che non c'è un simbolo standard sarebbe il caso di non usarne proprio e scrivere esplicitamente "contradiction!".

Grazie del fille è davvero utilissimo, un'altra cosa però, come faccio ad aggiungere tutti questi simboli?
Cosa devo scriivere all'inizio del file latex, cioè quali pacchetti devo inserire?

La Comprehensive list indica esplicitamente, per ogni simbolo o gruppo di simboli, quale pacchetto usare.
In ogni caso sono d'accordo con quanto dice fph, un simbolo del genere non è standard e io non lo userei.
Luciano Battaia

Ok ho trovato dove dice i pacchetti da installare, solo un'ultima cosa adesso. Ho visto che per scaricare i pacchetti si va nel sito http://tug.ctan.org/, ed ho capito pure come trovare e scaricare i pacchetti, ma in che cartella devo salvarli? L'indirizzo è C:\Programmi\MiKTeX 2.5\tex\latex ma una volta qua, ci sono tante cartelle ciascuna delle quali contiene file .sty quindi non so in quale di queste cartelle installare i pacchetti. Sapreste darmi qualche consiglio?

Se hai installato miktex, dovresti avere un gestore automatico dell'installazione dei pacchetti, non c'e' bisogno che te li scarichi a mano. Puoi lanciarlo tu e installare i pacchetti che vuoi (nel menu avvio sotto miktex) oppure puoi limitarti a inserire il nome del pacchetto nel tuo file tex con e ci pensa da solo a scaricare e ad installare tutto il necessario quando compili.

Ci sono riuscito!
Grazie mille a tutti quanti