Hi Gwern,
After some googling, I came across this file
http://www.ctan.org/tex-archive/info/symbols/comprehensive/symbols-a4.pdf
which seems to say its \Box instead of \box, and requires e.g. the
amsfonts package
Edit your .mnemosyne/latex/preamble to look e.g. something like this:
\documentclass[12pt]{article}
\usepackage{amsfonts}
\pagestyle{empty}
\begin{document}
Cheers,
Peter
On Aug 20, 6:51 pm, Gwern Branwen <[email protected]> wrote:
> Wikipedia's summary of the modal necessity operator:
>
> 'U+25FB ◻ or U+25A1 □: modal operator for "it is necessary that" (in
> modal logic), or "it is provable that" (in provability logic), or "it
> is obligatory that" (in deontic logic), or "it is believed that" (in
> doxastic logic).'
>
> The possibility operator is \diamond, and necessity is \box. \diamond
> works fine, but \box doesn't appear at all. I deleted all the PNGs in
> .mnemosyne/latex to make sure, but that didn't fix the problem. Nor
> can I see any apparently related errors in the intermediate files,
> attached.
>
> --
> gwern
>
> latex_out.txt
> < 1KViewDownload
>
> xwd-128232272727058.png
> 28KViewDownload
>
> xwd-128232273827073.png
> 29KViewDownload
>
> tmp.log
> 3KViewDownload
>
> tmp.tex
> < 1KViewDownload
--
You received this message because you are subscribed to the Google Groups
"mnemosyne-proj-users" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/mnemosyne-proj-users?hl=en.
