Introduction to LaTeX2HTML Plugin

van141.abel@gmail.com

Southwest University

01/07/2012

Keywords. Latex, Html

Abstract.
This is an introduction to write your blog using LaTeX language with the help of

Contents*latex2html*plugin. Before you testing it, please assure you have installed some plugin of MathJax, the*simple-mathjax*is recommend. The designing principle is to make you publish a post from your latex document more quickly and conveniently. With a litter pre-definition in your latex document, I find it works lovely.Contents

1. One Words Before the Starting

2. How to Write the Basic Information of Your Post

3. How to Write Section, Subsection and Subsubsection

4. Itemize and Enumerate: How to List Stuffs

5. The Color Scheme: How to Colorize You Content

6. How to Write a Theorem

6.1. Definition, Lemma, Proposition, Theorem, Corollary, Remark, Proof

6.1.1. Basic Usage of Environments

6.1.2. Assign a Name for Your Theorem

6.1.3. The Proof Environment

6.1.4. More Examples of Environments

6.2. The Problem, Answer Environments

6.3. The Exercise Environment

6.4. The Quote Environment

7. Auto Numbering and Referring Back

7.1. Auto Numbering and Referring Back to Equations

7.1.1. Basic Usage of Mathematical Environments

7.1.2. Auto Numbering Scheme of Equations

7.1.3. How to Numbered Equations by 3.a and 3.b

7.1.4. Skip Auto Numbering of Equations

7.1.5. How to Refer back to Equation Number

7.1.6. My Suggestion on “How to Write Equations”

7.2. Auto Numbering and Referring Back to Environments

7.2.1. Auto Numbering of Environments

7.2.2. Referring Back to Environments

7.3. Referring Back to Section

8. To-be Stuff

9. The Pre-definition in Your TeX File

10. Last Words and Feed Back

10.1. How to Jump Between Links

11. How to Get it?

1 2 3 4 5 6 7 8 9 10 11 12 |
\title{Introduction to LaTeX to HTML Plugin} \author{van abel} \title{Introduction to LaTeX to HTML Plugin} \author{van abel} \email{van141.abel@gmail.com} \address{Southwest University} \date{\today} \keywords{Latex, Html} \begin{abstract} This is a introduction to write your blog use LaTeX language the help of \emph{latex2html} plugin. Before you test of it, please assure you have installed some plugin of mathjax, the \emph{simple-mathjax} is recommend. The of design principle is to make you publish a post from your latex document more quickly and convenient. With a litter pre-definition in you latex document, I find it works lovely. \end{abstract} \tableofcontents |

1. One Words Before the Starting I will always post the code of the content right after it, which will make you more easy to follow my poor English.2. How to Write the Basic Information of Your Post Just as in LaTeX, you can use commands such as:

**\title**,

**\author**,

**\address**,

**\date**,

**\keywords**and the environment

**abstract**to produce the basic information of your post. These command has the same meaning as in LaTeX, what’s more,

- you can use
**\****today**in**\date** - you can use
**\emph**to emphasis some thing - you can use
**\****tableofcontents**to get the table of contents - you can use
**\email**or**\mailto**to set your mail, the first will be centered

1 |
\section{How to Write Section, Subsection and Subsubsection} |

Just like in Latex, isn’t it? Replace

**\section**with

**\subsection**and

**\subsubsection**if you want to write subsection and subsubsection, respectively. How about

**\subsubsubsection**? Sorry, there is no such command.

Maybe you are still wandering: how do I get the list of contents by

**\**

**tableofcontents**command, one key factor is that I added a link just before each section and subsection, by which you can refer to it. See the referring back to section (Section 7.3) for detail.4. Itemize and Enumerate: How to List Stuffs As you have already saw, we can list the element as

- Firstly
- Secondly

1 2 3 4 |
\begin{itemize} \item Firstly \item Secondly \end{itemize} |

What’s more you can nest them, for example

- Firstly
- Secondly
- The first item of Second
- The second item of Second
- The first item of the third item of second item

1 2 3 4 5 6 7 8 9 10 11 |
\begin{itemize} \item Firstly \item Secondly \begin{itemize} \item The first item of Second \item The second item of Second \begin{itemize} \item The first item of the third item of second item \end{itemize} \end{itemize} \end{itemize} |

**Enumerate**works almost the same as

**itemize**, except the style is different. For example replace

**enumerate**in the above example with

**enumerate**, then we get:

- Firstly
- Secondly
- The first item of Second
- The second item of Second
- The first item of the third item of second item

**\emph**, one other way is use

**\underline**. Besides, there is a more powerful scheme, now you emphasis some content with different colors, even for formulae.

Firstly, you must decide which class your content belonged to, the text content or the mathematics content, since these two classes are processed by different scheme, text is by

**latex2html**and mathematics by

**mathjax**.

Just as in Latex, the you can set a color for your formula by

**\color**

**{color_name}**

**{color_formula}**. For example

\[

\color{red}{a+b},\quad\color{blue}{a+b},\quad\color{green}{a+b}

\]

\[

\frac{\color{cyan}{a+b}}{c+d}, \quad

\frac{a}{\color{magenta}{a+b}},\quad

\frac{a}{a+\color{yellow}{b}}

\]

1 2 3 4 5 6 7 8 |
\[ \color{red}{a+b},\quad\color{blue}{a+b},\quad\color{green}{a+b} \] \[ \frac{\color{cyan}{a+b}}{c+d}, \quad \frac{a}{\color{magenta}{a+b}},\quad \frac{a}{a+\color{yellow}{b}} \] |

On the other hand, if you want to give color for your text content, then you should use

**\textcolor{color_name}**

**{color_contents}**, for example

red and blue and green and cyan and magenta and yellow.

1 2 3 4 5 6 |
\textcolor{red}{red} and \textcolor{blue}{blue} and \textcolor{green}{green} and \textcolor{cyan}{cyan} and \textcolor{magenta}{magenta} and \textcolor{yellow}{yellow} |

6. How to Write a Theorem There are two group of environments, which process the content such as

**Theorem**. One is used for a post, in which you mainly state something formally, just like you do in a research paper; The other is used for problem-discussion situation, in which you ask questions and hope for some examples and answers.

Of course the border is not so strict, for example the

**examp**environment can used in both cases.

Here are the complete list of environments you can use (The example will be pop up at some time later), I take first few words of a environment to represent it, for example

**thm**for

**Theorem**:

- First group:
**defn**(Definition),**lem**(Lemma),**prop**(Proposition),**thm**(Theorem),**cor**(Corollary),**rem**(Remark),**excs**(Exercise),**proof**(Proof) - Second group:
**prob**(Problem),**answer**(Answer) - Mixed:
**examp**(Example),**quote**(Quotation)

1 |
\subsection{Definition, Lemma, Proposition, Theorem, Corollary, Remark, Proof} |

Firstly, you should keep in mind that: the distinguish between

**command**and

**environment**is

A6.1.1. Basic Usage of EnvironmentsHere is an example ofcommandbegin with a\and followed with thename, at last the content of command. It looks like\emph{text}; Aenvironmentmust be wrapped bybeginandend.

**definition**environment:

Definition 1.
Suppose that $(X,\mathcal M)$ and $(Y,\mathcal N)$ are measurable spaces, and $f:X\to Y$ is a map. We call $f$ is

**measurable**if for every $B\in\mathcal N$ the set $f^{-1}(B)$ is in $\mathcal M$.
1 2 3 4 5 |
\begin{defn} Suppose that $(X,\mathcal M)$ and $(Y,\mathcal N)$ are measurable spaces, and $f:X\to Y$ is a map. We call $f$ is \emph{measurable} if for every $B\in\mathcal N$ the set $f^{-1}(B)$ is in $\mathcal M$. \end{defn} |

The other is similar, just replace

**defn**with any one of the above environment:

Remark 1.
If $Y$ is a topological space, and $\mathcal N$ is the $\sigma$-algebra of Borel sets, then $f$ is measurable if and only if the following condition satisfied:

- For every open set $V$ in $Y$, the inverse image $f^{-1}(V)$ is measurable.

1 2 3 4 5 6 7 |
\begin{rem} If $Y$ is a topological space, and $\mathcal N$ is the $\sigma$-algebra of Borel sets, then $f$ is measurable if and only if the following condition satisfied: \begin{itemize} \item For every open set $V$ in $Y$, the inverse image $f^{-1}(V)$ is measurable. \end{itemize} \end{rem} |

6.1.2. Assign a Name for Your TheoremYou can even assign a name to these environment, just as you did in latex, use

**[text]**just behind the environment, for example:

Lemma 2. (fundamental lemma of integration)
Let $\set{f_n}$ be a Cauchy sequence of step mappings. Then there exists a subsequence which converges pointwise almost everywhere, and satisfies the additional property: given $\eps$ there exists a set $Z$ of measure $< \eps$ such that this subsequence converges absolutely and uniformly outside $Z$.

1 2 3 4 5 6 |
\begin{lem}[fundamental lemma of integration] Let $\set{f_n}$ be a Cauchy sequence of step mappings. Then there exists a subsequence which converges pointwise almost everywhere, and satisfies the additional property: given $\eps$ there exists a set $Z$ of measure $< \eps$ such that this subsequence converges absolutely and uniformly outside $Z$. \end{lem} |

6.1.3. The Proof EnvironmentThe following are the

**proof**environment, and some more examples, if you are impatient to other contents, then just skip this subsection by click Section 6.2.

Proof. For each integer $k$ there exists $N_k$ such that if $m,n\geq N_k$, then

\[

\|f_m-f_n\|_1< \frac{1}{2^{2k}}.

\]

We let our subsequence be $g_k=f_{N_k}$, taking the $N_k$ inductively to be strictly increasing. Then we have for all $m,n$:

\[

\|g_m-g_n\|_1 \]

We shall show that the series

\[

g_1(x)+\sum_{k=1}^\infty\left(g_{k+1}(x)-g_k(x)\right)

\]

converges absolutely for almost all $x$ to an element of $E$, and in fact we shall prove that this convergence is uniform except on a set of arbitrarily small measure.

Let $Y_n$ be the set of $x\in X$ such that

\[

|g_{n+1}(x)-g_n(x)|\geq\frac{1}{2^n}.

\]

Since $g_n$ and $g_{n+1}$ are step mappings, it follows that $Y_n$ has finite measure. On $Y_n$ we have the inequality

\[

\frac{1}{2^n}\leq|g_{n+1}-g_n|

\]

whence

\[

\frac{1}{2^n}\mu(Y)=\int_{Y_n}\frac{1}{2^n}\leq\int_X|g_{n+1}-g_{n}|\leq\frac{1}{2^{2n}}.

\]

Hence

\[

\mu(Y_n)\leq\frac{1}{2^n}.

\]

Let

\[

Z_n=Y_n\cup Y_{n+1}\cup\cdots.

\]

Then

\[

\mu(Z_n)\leq \frac{1}{2^{n-1}}.

\]

If $x\not\in Z_n$, then for $k\geq n$ we have

\[

|g_{k+1}(x)-g_k(x)| \]

and from this we conclude that our series

\[

\sum_{k=n}^\infty\left(g_{k+1}(x)-g_{k}(x)\right)

\]

is absolutely and uniformly convergent, for $x\not\in Z_n$. This proves the statement concerning the uniform convergence. If we let $Z$ be the intersection of all $Z_n$, then $Z$ has measure $0$, and if $x\not\in Z$, then $x\not\in Z_n$ for some $n$, whence our series converges for this $x$. This proves the lemma.□

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 |
\begin{proof} For each integer $k$ there exists $N_k$ such that if $m,n\geq N_k$, then \[ \|f_m-f_n\|_1< \frac{1}{2^{2k}}. \] We let our subsequence be $g_k=f_{N_k}$, taking the $N_k$ inductively to be strictly increasing. Then we have for all $m,n$: \[ \|g_m-g_n\|_1 \] We shall show that the series \[ g_1(x)+\sum_{k=1}^\infty\left(g_{k+1}(x)-g_k(x)\right) \] converges absolutely for almost all $x$ to an element of $E$, and in fact we shall prove that this convergence is uniform except on a set of arbitrarily small measure. Let $Y_n$ be the set of $x\in X$ such that \[ |g_{n+1}(x)-g_n(x)|\geq\frac{1}{2^n}. \] Since $g_n$ and $g_{n+1}$ are step mappings, it follows that $Y_n$ has finite measure. On $Y_n$ we have the inequality \[ \frac{1}{2^n}\leq|g_{n+1}-g_n| \] whence \[ \frac{1}{2^n}\mu(Y)=\int_{Y_n}\frac{1}{2^n}\leq\int_X|g_{n+1}-g_{n}|\leq\frac{1}{2^{2n}}. \] Hence \[ \mu(Y_n)\leq\frac{1}{2^n}. \] Let \[ Z_n=Y_n\cup Y_{n+1}\cup\cdots. \] Then \[ \mu(Z_n)\leq \frac{1}{2^{n-1}}. \] If $x\not\in Z_n$, then for $k\geq n$ we have \[ |g_{k+1}(x)-g_k(x)| \] and from this we conclude that our series \[ \sum_{k=n}^\infty\left(g_{k+1}(x)-g_{k}(x)\right) \] is absolutely and uniformly convergent, for $x\not\in Z_n$. This proves the statement concerning the uniform convergence. If we let $Z$ be the intersection of all $Z_n$, then $Z$ has measure $0$, and if $x\not\in Z$, then $x\not\in Z_n$ for some $n$, whence our series converges for this $x$. This proves the lemma. \end{proof} |

6.1.4. More Examples of Environments

Theorem 3.
Let $f_n$ be a Cauchy sequence in $\mathcal L^1$ which is $L^1$-convergent to an element $f$ in $\mathcal L^1$. Then there exists a subsequence which converges to $f$ almost everywhere, and also such that given $\eps$, there exists a set $Z$ of measure $< \eps$ such that the convergence is uniform on the complement of $Z$.

1 2 3 |
\begin{thm} Let $f_n$ be a Cauchy sequence in $\mathcal L^1$ which is $L^1$-convergent to an element $f$ in $\mathcal L^1$. Then there exists a subsequence which converges to $f$ almost everywhere, and also such that given $\eps$, there exists a set $Z$ of measure $< \eps$ such that the convergence is uniform on the complement of $Z$. \end{thm} |

Corollary 4.
An element $f\in\mathcal L^1$ has seminorm $\|f\|_1=\int_X|f|\rd\mu=0$ if and only if $f$ is equal to $0$ almost everywhere.

1 2 3 |
\begin{cor} An element $f\in\mathcal L^1$ has seminorm $\|f\|_1=\int_X|f|\rd\mu=0$ if and only if $f$ is equal to $0$ almost everywhere. \end{cor} |

Proposition 5. (Monotone Convergence Theorem)
Let $\set{f_n}$ be an increasing (resp. decreasing) sequence of real valued functions in $\mathcal L^1$ such that the integrals

\[

\int_X f_n\rd\mu

\]

are bounded. Then $\set{f_n}$ is a Cauchy sequence, and is both $\mathcal L^1$ and almost everywhere convergent to some function $f\in\mathcal L^1$.

\[

\int_X f_n\rd\mu

\]

are bounded. Then $\set{f_n}$ is a Cauchy sequence, and is both $\mathcal L^1$ and almost everywhere convergent to some function $f\in\mathcal L^1$.

1 2 3 |
\begin{cor} An element $f\in\mathcal L^1$ has seminorm $\|f\|_1=\int_X|f|\rd\mu=0$ if and only if $f$ is equal to $0$ almost everywhere. \end{cor} |

Proposition 6. (Fatou’s Lemma)
Let $\set{f_n}$ be a sequence of real valued non-negative functions in $\mathcal L^1$. Assume that

\[

\liminf\|f_n\|_1

\]

is exists (so is a real number $\geq0$). Then $\liminf f_n(x)$ exists for almost all $x$, the function $\liminf f_n$ is in $\mathcal L^1$, and we have

\[

\int_X\liminf f_n\rd \mu\leq\liminf\int_X f_n\rd\mu=\liminf\|f_n\|_1.

\]

\[

\liminf\|f_n\|_1

\]

is exists (so is a real number $\geq0$). Then $\liminf f_n(x)$ exists for almost all $x$, the function $\liminf f_n$ is in $\mathcal L^1$, and we have

\[

\int_X\liminf f_n\rd \mu\leq\liminf\int_X f_n\rd\mu=\liminf\|f_n\|_1.

\]

1 2 3 4 5 6 7 8 9 10 |
\begin{prop}[Fatou's Lemma] Let $\set{f_n}$ be a sequence of real valued non-negative functions in $\mathcal L^1$. Assume that \[ \liminf\|f_n\|_1 \] is exists (so is a real number $\geq0$). Then $\liminf f_n(x)$ exists for almost all $x$, the function $\liminf f_n$ is in $\mathcal L^1$, and we have \[ \int_X\liminf f_n\rd \mu\leq\liminf\int_X f_n\rd\mu=\liminf\|f_n\|_1. \] \end{prop} |

6.2. The Problem, Answer Environments The second group of environments are provided for discussion, after all, this is a discussion platform. They are:

**prob**for Problem,

**examp**for Example, and

**answer**for Answer.

It almost works the same as the first group, for example

Problem 1. (Egoroff’s theorem)
Assume that $\mu$ is $\sigma$-finite. Let $f:X\to E$ be a map and assume that $f$ is the pointwise limit of a sequence of simple maps $\set{\varphi_n}$. Given $\eps$, show that there exists a set $Z$ with $\mu(Z)< \eps$ such that the convergence of $\set{\varphi_n}$ is uniform on the complement of $Z$.

1 2 3 |
\begin{prob}[Egoroff's theorem] Assume that $\mu$ is $\sigma$-finite. Let $f:X\to E$ be a map and assume that $f$ is the pointwise limit of a sequence of simple maps $\set{\varphi_n}$. Given $\eps$, show that there exists a set $Z$ with $\mu(Z)< \eps$ such that the convergence of $\set{\varphi_n}$ is uniform on the complement of $Z$. \end{prob} |

But, the differences between them is that, the

**answer**is numbered with

**prob**(the

**examp**,

**excs**,

**rem**will numbered independently), to see this, for example:

Answer 1.1.
Assume first that $\mu(X)$ is finite. Let $A_k$ be the set where $|f|\geq k$. The intersection of all $A_k$ is empty so their measures tend to $0$. Excluding a set of small measure, you can assume that $f$ is bounded, in which case $f$ is in $\mathcal L^1(\mu)$ and you can use the fundamental lemma of integration.

1 2 3 |
\begin{answer} Assume first that $\mu(X)$ is finite. Let $A_k$ be the set where $|f|\geq k$. The intersection of all $A_k$ is empty so their measures tend to $0$. Excluding a set of small measure, you can assume that $f$ is bounded, in which case $f$ is in $\mathcal L^1(\mu)$ and you can use the fundamental lemma of integration. \end{answer} |

Answer 1.2.
This is another answer for the problem.

You should note that the number of answer is reset to 1 by **prob**, of course, more sensible. For example:

Problem 2.
Why we should firstly process the positive measurable functions, then the real measurable functions and at last the complex measurable functions for the integral of measurable functions?

1 2 3 |
\begin{prob} Why we should firstly process the positive measurable functions, then the real measurable functions and at last the complex measurable functions for the integral of measurable functions? \end{prob} |

There are the answers for this problem:

Answer 2.1.
In fact, you can define the integral of complex function directly.

1 2 3 |
\begin{answer} In fact, you can define the integral of complex function directly. \end{answer} |

Answer 2.2.
There is another more instructive answer…

1 2 3 |
\begin{answer} There is another instructive answer... \end{answer} |

6.3. The Exercise Environment Maybe, at somewhere, you want the reader consider about something, then you can use

**excs**environment for Exercise.

*Please keep in mind that it will have independent numbering, just as*. Here is an example:

**prob**, but will**not reset**the number of answerExcise 1.
Suppose $(X,\mu)$ is a measure space, and that $f$ is measurable, then $\int_X f\rd \mu=0$ if and only if $f\equiv0$ almost everywhere.

1 2 3 |
\begin{excs} Suppose $(X,\mu)$ is a measure space, and that $f$ is measurable, then $\int_X f\rd \mu=0$ if and only if $f\equiv0$ almost everywhere. \end{excs} |

6.4. The Quote Environment Sometimes, there are some words or comments on the content, it is like a remark, but it is not so formal. And, if you are write a lecture notes, these words may be the lecturer said before or after an important thing, such as theorems. I have defined a new environment

**quote**to deal with these stuff. For example:

Before the theorem

Theorem 7.
Let $\Omega\subset\R^n$ and $u:\Omega\to\R$, then

- If $u\in C^2(\Omega)$ is harmonic in $\Omega$, then $u$ satisfies MVP;
- If $u\in C(\Omega)$ satisfies MVP, then $u$ is smooth and harmonic.

1 2 3 4 5 6 7 |
\begin{thm} Let $\Omega\subset\R^n$ and $u:\Omega\to\R$, then \begin{enumerate} \item If $u\in C^2(\Omega)$ is harmonic in $\Omega$, then $u$ satisfies MVP; \item If $u\in C(\Omega)$ satisfies MVP, then $u$ is smooth and harmonic. \end{enumerate} \end{thm} |

we want to add a comment on it, then you can use

A function satisfying mean-value properties is only required to be continuous. However, a harmonic function is required to be $C^2$. Thus, the equivalence of this two kind of functions will be significant.

1 2 3 |
\begin{quote} A function satisfying mean-value properties is only required to be continuous. However, a harmonic function is required to be $C^2$. Thus, the equivalence of this two kind of functions will be significant. \end{quote} |

7. Auto Numbering and Referring Back PLEASE NOTE THAT: since1.2.3, the auto number scheme is done by MathJax, not my plugin any more, so please visit mathjax for how to use the auto-numbering scheme)7.1. Auto Numbering and Referring Back to Equations 7.1.1. Basic Usage of Mathematical EnvironmentsAll the

**mathematical**environments:

**equation**,

**align**,

**multline**,

**gather**will auto-numbering. For example

\begin{equation}\begin{cases}

3=2x+y\\

3=y+2x\end{cases}

\end{equation}

1 2 3 4 |
\begin{equation}\begin{cases} 3=2x+y\\ 3=y+2x\end{cases} \end{equation} |

An example of

**multline**, which will make the last line flush right:

\begin{multline}\label{eq:2}

\int_a^b \biggl\{ \int_a^b [ f(x)^2 g(y)^2 + f(y)^2 g(x)^2 ]

-2f(x) g(x) f(y) g(y) \,dx \biggr\} \,dy \\

=\int_a^b \biggl\{ g(y)^2 \int_a^b f^2 + f(y)^2

\int_a^b g^2 – 2f(y) g(y) \int_a^b fg \biggr\} \,dy

\end{multline}

1 2 3 4 5 6 |
\begin{multline}\label{eq:2} \int_a^b \biggl\{ \int_a^b [ f(x)^2 g(y)^2 + f(y)^2 g(x)^2 ] -2f(x) g(x) f(y) g(y) \,dx \biggr\} \,dy \\ =\int_a^b \biggl\{ g(y)^2 \int_a^b f^2 + f(y)^2 \int_a^b g^2 - 2f(y) g(y) \int_a^b fg \biggr\} \,dy \end{multline} |

The next example will show how to numbered the equation at a given line:

\begin{gather}

\begin{split}

\varphi(x,z)

&= z – \gamma_{10} x – \sum_{m+n\ge2} \gamma_{mn} x^m z^n\\

&= z – M r^{-1} x – \sum_{m+n\ge2} M r^{-(m+n)} x^m z^n

\end{split}\tag{4}\\

\begin{split}

\zeta^0 &= (\xi^0)^2, \\

\zeta^1 &= \xi^0 \xi^1

\end{split}\notag

\end{gather}

1 2 3 4 5 6 7 8 9 10 11 12 |
\begin{gather} \begin{gather} \begin{split} \varphi(x,z) &= z – \gamma_{10} x – \sum_{m+n\ge2} \gamma_{mn} x^m z^n\\ &= z – M r^{-1} x – \sum_{m+n\ge2} M r^{-(m+n)} x^m z^n \end{split}\tag{4}\\ \begin{split} \zeta^0 &= (\xi^0)^2, \\ \zeta^1 &= \xi^0 \xi^1 \end{split}\notag \end{gather} |

7.1.2. Auto Numbering Scheme of EquationsI hope you have already noticed that the above equations are numbered automatically, in fact, this is my first goal to write a plugin to process the latex code. Mathjax process mathematical perfectly, the only non-advantage is that it can’t automatically add number for equations. When I got a way to add number for the equations automatically, I found that I can go a litter far

- automatically numbering theorems, which can be realize by set
**CSS**’s**before**element with a**counter**, but it may not work for IE6; - automatically numbering sections, and which can produce a table of contents, as you have already see.

Here is the rule:

- If you use either one of these environments:
**equation,align,multline,gather**; - If you do use these environments, then
**latex2html**will search**tag,notag**sign inside these environments; - If it find a
**tag**, then it will reset the number of equation (**$eqn**); one reason is that,**\tag{eqn_num}**will set the present equation with number**eqn_num**, another more important reason is that you can set the equation number as**2.a, 2.b, 3.a.b, 3.a.c**and so on. - If it find
**notag**in the equation body, then it will make this equation without number - If neither
**tag**nor**notag**have found, then it will assign a new number to the equation, i.e.,**$eqn**;

\begin{align}

x^2+y^2&=z^2,\quad{x,y,z\in\mathbb{Z}}\tag{5.a}\\

x^3+y^3&=z^3,\quad{x,y,z\in\mathbb{Z}}\tag{5.b}

\end{align}

\begin{equation}

x^4+y^4=z^4,\quad{x,y,z\in\mathbb{Z}}\tag{7.a.b}

\end{equation}

1 2 3 4 5 6 7 |
\begin{align} x^2+y^2&=z^2,\quad{x,y,z\in\mathbb{Z}}\tag{5.a}\\ x^3+y^3&=z^3,\quad{x,y,z\in\mathbb{Z}}\tag{5.b} \end{align} \begin{equation} x^4+y^4=z^4,\quad{x,y,z\in\mathbb{Z}}\tag{7.a.b} \end{equation} |

I want to say a liter words about this scheme, i.e., numbering with

**num.lower-case-alpha**:

- first, the style of tag must be number plus lower-case-alpha, with dot split them, and there may be more than one lower-case-alpha, but the first one must be a number, of course may be more than one digit;
- these scheme is designed for the group of equations are similar, thus their numbering is almost the same
- in order to refer to these equations, you should use something like
**\eqref****{eq:5.a}**or**\eqref****{eq:5.b}**, see Section 7.1.5 for more details. - the number of the next equation will be
**num**+1

**(8)**in the present situation, since we already used

**7**in

**7.a.b**. For example,

\begin{gather}

\int_a^b \biggl\{ \int_a^b [ f(x)^2 g(y)^2 + f(y)^2 g(x)^2 ]

-2f(x) g(x) f(y) g(y) \,dx \biggr\} \,dy \\

=\int_a^b \biggl\{ g(y)^2 \int_a^b f^2 + f(y)^2

\int_a^b g^2 – 2f(y) g(y) \int_a^b fg \biggr\} \,dy

\end{gather}

1 2 3 4 5 6 |
\begin{gather} \int_a^b \biggl\{ \int_a^b [ f(x)^2 g(y)^2 + f(y)^2 g(x)^2 ] -2f(x) g(x) f(y) g(y) \,dx \biggr\} \,dy \\ =\int_a^b \biggl\{ g(y)^2 \int_a^b f^2 + f(y)^2 \int_a^b g^2 - 2f(y) g(y) \int_a^b fg \biggr\} \,dy \end{gather} |

7.1.4. Skip Auto Numbering of EquationsAny one of the following thing will make the auto-numbering scheme false:

- use the stared version of environments, for example you use
**equation***instead of**equation** - use the
**\tag{your_number}**that will make the equation numbered by**your_number**given in**\tag** - use
**\notag**that will make the equation**without number**, but there should be no manually set**\tag** - (This drawback has already fixed by removing the
**\****label{*}**before processing the equation)~~Another not-so-perfect thing is that you should not write a~~. (Since the label now is process by mathjax, the following is not appear anymore!)For example, if you write something like**\label**or**\notag**just behind the**begin**part

\begin{equation}\label{eq:3}

a+b=c\quad \text{it not numbered, since you have set a }\textbf{\label}\text{ for it}

\end{equation}

The code of above equation is:

123\begin{equation}\label{eq:3}a+b=c\quad \text{it not numbered, since you have set a }\textbf{\label}\text{ for it}\end{equation}

Considering this drawback, I try to fix it by warping the automatic added**lable**and**\notag**with an**{}**to distinguish these are added manually. In other words, this will make the following equation auto-number:

123\begin{equation}{\label{eq:3}}a+b=c\quad \text{it not numbered, since you have set a }\textbf{\label}\text{ for it}\end{equation}

**numbered equation**by

**\eqref**, please note that the

**\ref**is used for another stuff, so please use

**\eqref**for equations, and which will add

**()**automatically.

For example:

can you see the difference between \eqref{eq:2} and \eqref{eq:8}?

1 |
can you see the difference between \eqref{eq:2} and \eqref{eq:8}? |

Please note that the difference is that \eqref{eq:8} is

**centered**for all lines.

The important thing in using

**\eqref**is that it must looks like

**\eqref{eq:number}**, here the

**eq:**inside {} is fixed, and the

**number**is the number for your equation, which either auto-added by

**latex2html**or set manually by you.

If you want refer back to the equation with number

**5.a**or

**5.b**, it should be exactly as \eqref{eq:5.a} or \eqref{eq:5.b}, and no equation has associated with \eqref{eq:5}. Please have a check that which one of the above link works?

1 2 3 |
If you want refer back to the equation with number \emph{5.a} or \emph{5.b}, it should be exactly as \eqref{eq:5.a} or \eqref{eq:5.b}, and no equation has associated with \eqref{eq:5}. Please have a check that which one of the above link works? |

7.1.6. My Suggestion on “How to Write Equations”

- if you use
**>**or**<**for**greater**and**lesser**in math, please add a blank-space before**>**and a blank-space after**<**. Or you will make the HTML translation program confused, since are standard tags for HTML language(code). - use
**$$**for inline math - use
**\[****\]**for oneline unnumbered display math - use star version for multiline unnumbered display math, for example, use
**gather***environment for centered multiline equations - use
**equation**environment for oneline numbered display math - use
**align**environment for multiline numered display math, if you want make them aligned at some position( use & to set the point of align)

**proof**are auto numbered by

**latex2html**, and the

**rem**,

**prob**,

**excs**are numbered independently, what’s more,

**answer**’s number will be reset by

**prob**. The other environment will numbered continuously in one post (on one page, which means, if you use the <!–nextpage–> to have another page, then the number will all over begin from 1, if you consider this as an bug, sorry, I can’t fix it.)7.2.2. Referring Back to EnvironmentsYou can refer to the

**Theorem**,

**Lemma**,

**Corollary**,

**Definition**,

**Proposition**,

**Remark**,

**Problem**,

**Exercise**, and

**Answer**environments by

**\ref{env_name:env_num}**. For example:

From Definition 1 we know that…

From Proposition 4 we know that…

From Answer 2.1 we know that…

1 2 3 |
From \ref{defn:1} we know that... From \ref{prop:4} we know that... From \ref{answer:2.1} we know that... |

Just like the referring back to the equations, when you use

**\ref{env_name:env_num}**to refer to the exist environments, you should note that

- the environments, such as
**thm**, are auto numbered by**latex2html**; **env_name**is the name of environment, such as**thm**,**answer**and so on.**env_num**is the number of the environment, you must assure that it is exists, which means that should matched with your environment. For example, if you write something such as**\ref****{prop:6}**that will not work, since there isn’t a**Proposition**numbered with**6**- Referring to the
**answer**is a litter different, the**env_num**looks like**2.1**, in other words, it should be exactly as the number in the post. - The style of
**\ref**must looks like**\ref****{lem:2}**, which means, the**:**is important.

**\ref**

**{sec:1}**to refer back to Section 1, and

**\ref**

**{sec:6.1}**to refer back to Subsection 1 of Section 6, which will looks like Section 6.1, and

**\ref**

**{sec:7.1.3}**to refer back to Subsubsection 3 of Subsection 1 of Section 7, which will looks like Section 7.1.3.

1 |
You can use \emph{\ref}\emph{{sec:1}} to refer back to \ref{sec:1}, and \emph{\ref}\emph{{sec:6.1}} to refer back to Subsection 1 of Section 6, which will looks like \ref{sec:6.1}, and \emph{\ref}\emph{{sec:7.1.3}} to refer back to Subsubsection 3 of Subsection 1 of Section 7, which will looks like \ref{sec:7.1.3}. |

8. To-be Stuff Maybe in what follows I will try to make the

**cite**of

**Bibitem**available, but that’s just maybe, since my programming with

**php**is badly poor, I hope somebody will make these thing become true.9. The Pre-definition in Your TeX File In order to make publish a post from your TeX code become more easy, I suggest add the following code in your Tex document:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 |
%new theorem \newtheorem{defn}{Definiton} \newtheorem{prop}[defn]{Proposition} \newtheorem{lem}[defn]{Lemma} \newtheorem{thm}[defn]{Theorem} \newtheorem{cor}[defn]{Corollary} \newtheorem{rem}{Remark} \newtheorem{prob}{Problem} \newtheorem{excs}{Exercise} \newtheorem{answer}{Answer}[prob] %newcommand \newcommand{\eps}{\varepsilon} \newcommand{\R}{\bm{R}} \newcommand{\rd}{\operatorname{d}} \newcommand{\set}[1]{\left\{#1\right\}} %new environments %the quote \renewenvironment{quote}{% \par\vspace{1.5\baselineskip}% \hspace{\stretch{0.2}}\minipage[c]{.9\textwidth}\itshape}{% \endminipage\hspace{\stretch{1}}\vspace{1.5\baselineskip}\par} |

You can added your own definition of

**symbols**to the post by

**$**

**your_definition_of_symbols**

**$**, and place it at the beginning of the post. For example, if you add

**$**

**\newcommand{\curl}{\mathrm{curl}}**

**$**at the beginning of a post content, then you can use

**\curl**in formula to get the upward form of curl(旋度).10. Last Words and Feed Back This document contains the usage of the plugin

**latex2html**, and if you find any errors, or have any suggestions even bugs of the plugin, you can leave a word here, or sent a mail to me: van141.abel@gmail.com.

It takes me about one week to write the plugin, I’m too tired to feel glad when I finally finished it. I don’t know whether it will help you a litter to post mathematics with latex language or not, but if it do have any, I will fell much better.10.1. How to Jump Between Links If you have just click on a link, then you can go back where you were just by

**Alt+←**

Now what? Just enjoy the

**latex2html**plugin!!11. How to Get it?

Downlad LaTeX2HTML

To get it, visit the plugin in wordpress: http://wordpress.org/extend/plugins/latex2html/

Thank you for your plugin, it is so cool !

I noticed that it doesn’t work with bbpress, did I miss something ?

Btw happy new year !

This plugin just replace the contents of post by matching of regular expression, I don’t know how bbpress work, if it has the standard functions as WP, then it should work.

Another thing is that, as a scheme of acceleration, the plugin is designed to work on posts NOT on Home/Index page by default, you can have a check of the option.

After a while, I figured it out that the mathjax script is not loaded for

`wp_content()`

where the math is not included, you can have a test of it by adding a new page without math formular, then LaTeX2HTML will not add mathjax script in the footer of your page, since there is not math to proceed!!Ok, back to the problem, you will find BBPress is not use the standard

`wp_content()`

function to output the content of a topic, I believe that is the problem.多谢~！

$\int$

int

$\oiint$

\[

\color{red}{a+b},\quad\color{blue}{a+b},\quad\color{green}{a+b}

\]

\[

\frac{\color{cyan}{a+b}}{c+d}, \quad

\frac{a}{\color{magenta}{a+b}},\quad

\frac{a}{a+\color{yellow}{b}}

\]

x^2+y^2=z^2

应该向TeX中一样, 用两个\$括起来.

test, $x^2+y^2=z^2$

矩阵试一下:

$$

\begin{pmatrix}

a&b\\

c&d\\

\end{pmatrix}

$$

我来试一下评论框能否支持latex.$$x^3+y^3=z^3$$

谢谢.正在使用中.也希望有人进一步将其改进.