Cerchio vuoto e cerchio pieno

Ho provato e i due simboli mi risultano correttamente. Sembra un problema di codifica di input. Per risolverlo dovresti darci qualche informazione su sistema operativo, distribuzione e preambolo del tuo documento.
Prima, però, prova questi due simboli; forse fanno al caso tuo:

`$\Circle$
$\CIRCLE$`

Serve il pacchetto wasysym

`\usepackage{wasysym}
`

Ciao
Ivan

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

La mia diagnosi sulla codifica di input era sbagliata. Prova a compilare con pdflatex.

Per avere i simboli \Circle \CIRCLE più grandi definisci due nuovi comandi nel preambolo:

`\newcommand{\peset}{\scalebox{1.5}{\Circle}}
\newcommand{\puset}{\scalebox{1.5}{\CIRCLE}} `

e usa nel documento \peset e \puset. Se sono troppo grandi modifica il valore 1.5.

Ciao
Ivan

`
% preambolo
\documentclass[a4paper,11pt]{book}
\usepackage[italian]{babel}
\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{palatino}
\usepackage{microtype}
\usepackage{indentfirst}
\usepackage{amsmath, amssymb}
\usepackage{amsfonts}
\usepackage{wasysym}
\usepackage{graphicx}
\usepackage{subfigure}
\usepackage{booktabs}

% pacchetto fancyhdr
\usepackage{fancyhdr}
\pagestyle{fancy}
\renewcommand{\chaptermark}[1]{\markboth{#1}{}}
\renewcommand{\sectionmark}[1]{\markright{\thesection #1}}
\fancyhf{}
\fancyhead[LE,RO]{\bfseries\thepage}
\fancyhead[LO]{\bfseries\rightmark}
\fancyhead[RE]{\bfseries\leftmark}
\renewcommand{\headrulewidth}{0.5pt}
\renewcommand{\footrulewidth}{0pt}
\addtolength{\headheight}{1.6pt}
\fancypagestyle{plain}{
\fancyhead{}
\renewcommand{\headrulewidth}{0pt}}

% nuovi ambienti
% ambienti per citazioni
\newenvironment{citazione}
{\begin{quotation}\small}
{\end{quotation}}

% nuovi comandi
\newcommand{\omissis}{[\ldots\negthinspace]} % omissis

% lettere greche
\newcommand{\eps}{\varepsilon}
\newcommand{\thet}{\vartheta}
\newcommand{\rh}{\varrho}
\newcommand{\ph}{\varphi}
`

Ciao Taddeo, mi fa piacere ritrovarti… qui a casa! 😉

Ti hanno già risposto, ma permettimi di fare le pulci al tuo codice…

1. `\usepackage{palatino}`
Il pacchetto palatino è obsoleto: non usarlo. Pagina 14 dell’Elenco dei peccati degli utenti di LaTeX (indicato quassù). In quel lavoro si consiglia il seguente codice:
`\usepackage{mathpazo}
\usepackage[scaled=.95]{helvet}
\usepackage{courier}`
Fossi in te, prenderei in considerazione l’idea di usare ClassicThesis, che i Palatino li usa a meraviglia.

2. `\usepackage{microtype}`
Ottima scelta. Come sai, però, quel pacchetto dà il meglio solo se compili con pdfLaTeX. Nelle mie guide trovi un paragafo “LaTeX e pdfLaTeX”: ti consiglio di darci un’occhiata.

3.
`\usepackage{amsmath,amssymb}
\usepackage{amsfonts}`
Il codice è ridondante, visto che amsfonts è caricato aumtomaticamente da amssymb. Si tratta di un peccato veniale. 😉

4. `\usepackage{subfigure}`
Questo è più grave: subfigure è obsoleto, va sostituito con subfig. Nella mia guida più estesa trovi anche qualche esempio “artistico”.

`\usepackage{fancyhdr}`
Personalmente preferico il risultato che si ottiene lo lo stile di pagina headings predefinito con la classe book, ma è evidentemente questione di gusti.

5.
`\newcommand{\eps}{\varepsilon}
\newcommand{\thet}{\vartheta}
\newcommand{\rh}{\varrho}
\newcommand{\ph}{\varphi}`
Questa è una prassi che non consiglio. Quei nuovi comandi rendono meno leggibile il codice: più ce ne sono, più ti tocca impararne a memoria. A distanza di tempo, puoi avere problemi. Ti consiglio
`\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\theta}{\vartheta}
\renewcommand{\rho}{\varrho}
\renewcommand{\phi}{\varphi}`
Così, se serve, puoi cambiare tutte le lettere con un’unica modifca, nel preambolo (a proposito, il preambolo è tutto ciò che è compreso tra i comandi \documentclass e \begin{document}). Pagina 108 dell’Arte.

Un salutone e buon LaTeX. 😀

A presto,
Lorenzo