Hello, Joe Corneli <holtzerman...@gmail.com> writes:
> With the test file as follows: > ====================================================================== > > #+TITLE: example > #+AUTHOR: Joe Corneli > > #+DATE: May 12, 2017 > #+DESCRIPTION: example > > #+LANGUAGE: en > #+OPTIONS: H:3 num:t toc:t \n:nil @:t ::t |:t ^:nil -:t f:t *:t <:t > > #+OPTIONS: TeX:t LaTeX:nil skip:nil d:nil todo:t pri:nil tags:not-in-toc > #+INFOJS_OPT: view:nil toc:nil ltoc:t mouse:underline buttons:0 > path:http://orgmode.org/org-info.js > > ``Every $P$ is a $P$'' > ====================================================================== > > ... I see this behaviour: > > I run org-html-export-as-html, and the output file contains: > > ``Every P is a $P$'' > > ... I would have expected: > > ``Every P is a P'' True. This is because in Org mode (and in Text mode), "'" is considered as a word-constituent instead of being a punctuation element. I'm not convinced it is worth changing the syntax class of "'" or even making a special case for "'". You can get rid of this problem using \(P\) instead. Regards, -- Nicolas Goaziou