Simbolo del'assurdo

[Ikki]

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

[fph]

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!".

[Ikki]

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?

[batmath]

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

[Ikki]

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?

[Nonno Bassotto]

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

Codice: Seleziona tutto

\usepackage{IlMioPacchetto}

e ci pensa da solo a scaricare e ad installare tutto il necessario quando compili.

[Ikki]

Ci sono riuscito!
Grazie mille a tutti quanti