Re: Cerchio vuoto e cerchio pieno

Salve a tutti!
Questo è il mio primo messaggio in questo forum. Sono un novizio del LaTex ma spero da inespertirmi abbastanza da non sfigurare troppo in questa comunità. 😀

Attualmente sto scrivendo una tesi su Peano per il corso di laurea triennale in Matematica ed ho qualche problema a riprodurre fedelmente il suo simbolismo logico.
In uno dei suoi primi lavori Peano di logica utilizza un cerchietto vuoto per indicare l’insieme vuoto e un cerchietto pieno (tutto nero) per indicare l’insieme universo.
Nel documento symbols-a4.pdf ho individuato due simboli che potrebbero fare al caso mio, fanno parte del pacchetto ifsym e corrispondono ai comandi \BigCircle e \FilledBigCircle.

Ho incluso il pacchetto col comando
`
\usepackage{ifsym}
`
ma in corrispondenza delle righe in cui ho inserito i comandi \BigCircle e \FilledBigCircle viene generato un errore di compilazione con la dicitura

Undefine control sequence

Ho provato a cambiare il comando di inclusione in questo modo
`
\usepackage[geometry]{ifsym}
`
perché ho letto nella documentazione del pacchetto stesso (solo in tedesco! 😯 , diciamo che ho cercato di interpretare qualcosina…) che quei comandi si riferivano alla sezione “geometry” del pacchetto.
Facendo così, quando compilo non viene generato nessun errore, tuttavia se vado a vedere l’output DVI osservo che in corrispondenza del comando \BigCircle è stato stampato il simbolo ‘%’ e a in corrispondenza del comando \FilledBigCircle è stato stampato il carattere ‘U’.

Sapreste darmi qualche indicazione per ottenere la stampa corretta di quei due caratteri?
In alternativa, conoscete altri comandi che consentono di produrre quei cerchietti che mi servono?

Grazie.

P.S.: ho installato la distribuzione completa di MikTex su sistema operativo Windows XP e utilizzo TexnicCenter come editor.

Effettivamente occorre l’opzione “geometry” per produrre quei simboli. Evidentemente non hai i font installati correttamente o non hai abilitato la creazione automatica dei bitmap (i font di ifsym sono solo bitmap). Infatti il simbolo \BigCircle corrisponde al carattere 37 del font ifgeo10, \FilledBigCircle al carattere 85 che sono proprio % e U: il visualizzatore (dvi o pdf?) sostituisce caratteri normali a quelli che non trova.

Hai sul tuo sistema un file di nome ifgeo10.mf?

Ciao
Enrico