Home > All, Technical Posts > Testing LaTeX

## Testing LaTeX

test 123, ${e^x=y}$ , ${\epsilon}$, ${\{0,1\}}$ , ${\mathop{\mathrm{poly}}}$ , ${\log}$, ${\mathop{\mathrm{GF}}}$, ${\mathop{\mathrm{Pr}}[ X = y]}$, ${\mathop{\mathbb E}[X]}$.

Look at the document source to see how to strike out text, how to use different colors, and how to link to URLs with snapshot preview and how to link to URLs without snapshot preview.

There is a command which is ignored by pdflatex and which defines where to cut the post in the version displayed on the main page

Anything between the conditional declarations ifblog . . . fi is ignored by LaTeX and processed by latex2wp. Anything between iftex . . . fi is processed by LaTex and ignored by latex2wp.

This green sentence appears only in WordPress

This is useful if one, in desperation, wants to put pure HTML commands in the ifblog . . . fi scope.

Lemma 1 (Main) Let ${\cal F}$ be a total ramification of a compactifier, then

$\displaystyle \forall g \in {\cal F}. g^2 = \eta \ \ \ \ \ (1)$

The (modifiable) numbering scheme is that lemmas, theorems, propositions, remarks and corollaries share the same counters, while exercises and examples have each their own counter.

Theorem 2 The adèle of a number field is never hyperbolically transfinite.

Proof: Left as an exercise. $\Box$

Exercise 1 Find a counterexample to Theorem 2.

Exercise 2 (Advanced) Prove Lemma 1.

Note that accented characters are allowed. Unfortunately, Erdös’s name cannot be properly typeset in HTML. (Note that to get the above approximation, you need to type backslash-H-space-o, rather than backslash-H-{o}. Both are good in LaTeX, but only the second is recognized by LaTeX2WP.)

One can correctly type the names of Håstad, Szemerédi, Čech, and so on.

It is possible to have numbered equations

$\displaystyle \frac 1 {x^2} \ge 0 \ \ \ \ \ (2)$

and unnumbered equations

$\displaystyle t(x) - \frac 12 > x^{\frac 13}$

Unnumbered equations can be created with the double-dollar sign command or with the backslash-square bracket command.

$\displaystyle f(x) = \int_{-\infty}^{x} \frac 1 {t^2} dt$

It is possible to refer to equations and theorems via the ref, eqref and label LaTeX commands, for example to Equation (2), to Equation (1), and to Lemma 1 above.

eqnarray* is supported, but not eqnarray:

$\displaystyle \begin{array}{rcl} f(x) & < & x^2 - y^2\\ & = & (x+y) \cdot (x-y) \end{array}$

You can nest a bold text inside an emphasized text or viceversa.

The theorem-like environments theorem, lemma, proposition, remark, corollary, example and exercise are defined, as is the proof environment.

The LaTex commands to type \$, %, and & are supported outside math mode, and % and & are supported in math mode as well:

$\displaystyle 30 \& 10 \%$

The section symbol § is also supported.

WordPress has trouble if a LaTeX expression containing a ${<}$ symbol, such as ${x^2 < x^2 + 1}$ is followed by an expression containing a ${>}$ symbol, such as ${(x+y)^2 > (x+y)^2 - 3}$. This is fixed by converting the inequality symbols into “HTML character codes.” Always write the symbols ${<}$ and ${>}$ in math mode.

It it is possible to have tabular environments, both with borders (the border will not be displayed in the LaTeX preview), as in

 blog quality what’s new excellent in theory poor

and without borders as in

 ${a}$ ${\rightarrow}$ ${b}$ ${\downarrow}$ ${\uparrow}$ ${c}$ ${\rightarrow}$ ${d}$

(The tabular environments will be centered in WordPress, but not in the LaTeX preview.)

And it is possible to include a picture so that the pdf file produced with pdflatex imports it from a local image file (which has to be pdf, gif, jpeg, or png) and the WordPress post imports it from a URL.

The image command used to generate the above image has three parameter: a size parameter for either the width or the height, expressed in pixels (if different from the original resolution, the picture will be scaled), a URL for the location of the image (this will be used by WordPress) and a local file name (which will used by pdflatex).

It is possible to have numbered and unnumbered sections and subsections. References to label commands which are not in the scope of a numbered equation or a numbered theorem-like environment will refer to the section number, such as a reference to Section 1 below.

HTML does not have good support for itemized list with descriptors (what one gets in LaTeX using the itemize environment with optional parameters in square brackets after the item commands). We can only offer the following rather ugly rendering:

• Case a. Description of case a
• Case b. Description of case b

— Examples of Sections —

— And Subsections —

— 1. A section —

— 1.1. And a subsection —

— 2. Changing the style —

The file latex2wpstyle.py contains several definitions that determine the appearance of the WordPress translation. It should be self-explanatory to change the way sections, subsections, proofs and theorem-like environments are typeset, and to change the numbering scheme for theorem-like environments.

The variable ${M}$ in latex2wpstyle.py contains a list of pairs of strings. For every pair, every occurrence of the first string in the document is replaced by an occurrence of the second before proceeding to the conversion from LaTeX to WordPress. If you want to use simple macros (which do not involve parameter-passing) then edit ${M}$ to add support for your own LaTeX macros. (You will have to define the macros in macrosblog.tex as well, otherwise you will not be able to compile your LaTeX file and preview it.)

Some macros are already defined. For example, backslash-E produces an expectation symbol:

$\displaystyle \mathop{\mathbb E}_{x \in X} f(x) := \sum_{x\in X} \mathop{\mathbb P} [x] \cdot f(x)$

Some more macros (see the LaTeX source)

$\displaystyle, {\mathbb R} , {\mathbb C}, {\mathbb Z}, {\mathbb N} , {\mathbb Q}, \epsilon$