MikTeX Error Results from Boondox / Mathalfa LaTeX Font Package

Question

New LaTeX user here. While reading this nice question and its answer, I discovered the "BOONDOX Calligraphic" font and tried to implement it in my document. I've been having some troubles, and after a few hours troubleshooting, I thought I would come here and see if anybody can see what's going wrong.

I have checked out the BOONDOX package documentation, which made me realize I needed the mathalfa package (mathalfa documentation here). I included that package in my document, but the BOONDOX calligraphic fonts don't show up.

Notice in my code, I've included the packages mathalfa as well as told it \usepackage[bb=boondox,bbscaled=.95,cal=boondoxo]{mathalfa}:

\documentclass[letter,10pt]{article}
\usepackage{amsmath,amsfonts,amssymb,amsthm,graphicx,a4wide,color,srcltx,fullpage,hyperref,enumitem,bm,cancel,mathalfa}
\usepackage[left=1 in, right=1 in, top=1 in, bottom=1 in]{geometry}
\usepackage [english]{babel}
\usepackage [autostyle, english = american]{csquotes}
\usepackage{setspace}
\usepackage{cite}
\usepackage[bb=boondox,bbscaled=.95,cal=boondoxo]{mathalfa}
\MakeOuterQuote{"}

\renewcommand{\theenumi}{(\roman{enumi})}
\renewcommand{\baselinestretch}{2}

% THEOREM Environments
\newtheorem{corollary}{Corollary}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}
\newtheorem{lemma}{Lemma}
\newtheorem{proposition}{Proposition}
\newtheorem{remark}{Remark}
\newtheorem{result}{Result}
\newtheorem{theorem}{Theorem}

\newcommand{\U}{\mathbb{U}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\Mod}[1]{\ (\textup{mod}\ #1)}
\newcommand{\abs}[1]{\left\vert#1\right\vert}
\newcommand\norm[1]{\left\lVert#1\right\rVert}

\begin{document}

\title{Logic and Sets}
\author{My Name Goes Here}
\date{}
\maketitle

\section{Logic System}
Mathematics is constructed from statements: declarative sentences which are either true or false. For every statement $\mathcal{P}$, there exists a negation of the statement, denoted $\neg \mathcal{P}$, so that $\neg \mathcal{P}$ is true whenever $\mathcal{P}$ is false, and vice versa. From two statements $\mathcal{P}$ and $\mathcal{Q}$ we can produce compound statements. The disjunction $\mathcal{P} \vee \mathcal{Q}$ is true when at least one of $\mathcal{P}$ or $\mathcal{Q}$ is true. The conjunction $\mathcal{P} \wedge \mathcal{Q}$ is true whenever all statements $\mathcal{P}$ and $\mathcal{Q}$ are true.

\end{document}

I am running TexStudio, and I am getting an error Option clash for package mathalfa. I am also getting a second error Unused global option(s): [letter]. The BOONDOX calligraphic fonts don't appear where I have written \mathcal{P} and \mathcal{Q} to denote mathematical statements. I either only see the regular mathcal fonts or my document fails to compile altogether.

I should mention that later on in my document, when I start a new section on sets, I DO wish to use the regular mathcal font when I write \mathcal{P}(S) to denote the power set of S and when I write \mathcal{R} to denote a relation on a set (different context than here). Hopefully I can use the BOONDOX calligraphic font here for statements P and regular mathcal font later for the powerset P.

Thank you for your help!

Answer 1

Your problem with boondox under MiKTeX is typically a problem with updating the psfonts databases that are used by dvips and pdflatex: psfonts.map and the like. It happens from time to time that fonts installed with MiKTeX Package Manager are not mentioned in this database, for some reason, and Metafont then tries to make bitmaps and fails to do so.

The solution consists in doing by hand what should have been done at installation: run from the command line (as administrator): updmap --verbose.

The --verbose switch will let you see what is actually mentioned in psfonts.map. You also can check the contents of this file (but never write in it yourself). You'll find it in

C:\Users\Your_Name\AppData\Local\MiKTeX\2.9\dvips\config\

Answer 2

Here's a way of accessing the original calligraphic alphabet when necessary. I've also tidied up a few things in your preamble.

\documentclass[letterpaper,10pt,american]{article}
\usepackage{amsmath,amsfonts,amssymb,amsthm,graphicx,color,srcltx,hyperref,enumitem,bm,cancel}
\usepackage[left=1 in, right=1 in, top=1 in, bottom=1 in]{geometry}
\usepackage {babel}
\usepackage [autostyle, english = american]{csquotes}
\usepackage{setspace}
\usepackage{cite}
\usepackage[bb=boondox,bbscaled=.95,cal=boondoxo]{mathalfa}
\MakeOuterQuote{"}

\renewcommand{\theenumi}{(\roman{enumi})}
\renewcommand{\baselinestretch}{2}

% THEOREM Environments
\newtheorem{corollary}{Corollary}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}
\newtheorem{lemma}{Lemma}
\newtheorem{proposition}{Proposition}
\newtheorem{remark}{Remark}
\newtheorem{result}{Result}
\newtheorem{theorem}{Theorem}

\newcommand{\U}{\mathbb{U}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\E}{\mathbb{E}}
\newcommand{\Mod}[1]{\ (\textup{mod}\ #1)}
\newcommand{\abs}[1]{\left\vert#1\right\vert}
\newcommand\norm[1]{\left\lVert#1\right\rVert}

\DeclareSymbolFontAlphabet{\mathcalorig}   {symbols}

\begin{document}

\title{Logic and Sets}
\author{My Name Goes Here}
\date{}
\maketitle

\section{Logic System}
Mathematics is constructed from statements: declarative sentences which are either true or false. For every statement $\mathcal{P}$, there exists a negation of the statement, denoted $\neg \mathcal{P}$, so that $\neg \mathcal{P}$ is true whenever $\mathcal{P}$ is false, and vice versa. From two statements $\mathcal{P}$ and $\mathcal{Q}$ we can produce compound statements. The disjunction $\mathcal{P} \vee \mathcal{Q}$ is true when at least one of $\mathcal{P}$ or $\mathcal{Q}$ is true. The conjunction $\mathcal{P} \wedge \mathcal{Q}$ is true whenever all statements $\mathcal{P}$ and $\mathcal{Q}$ are true.

$\mathcalorig{P}$
\end{document}