wordpress and latex.
february 28th, 2009 at 22:58 +0000 by felix.i was thinking on using latex in maybe some blog entries, maybe here or maybe somewhere else. so i decided to see what existing plugins there are. after a bit of searching, i stumbled over wp-latex, which is apparently also used by wordpress.com. unfortunately, it has a kind of clumsy syntax (“$latex formula$” instead of simply “$formula$”). and it has no support for display style formulae, i.e. something centered in its own line, as opposed to inline formulae which try to fit neatly into the text.
so i tried to fix that. and it worked out, and i can still use a “normal” $ by appending a blackslash in front of it. well, euler’s identity is
, as simple as that. if you want to see something more complicated:
let
be a number field or an algebraic function field. then, we have the following commutative diagram with exact rows and columns:
here,simply denotes the cokernel of the map
which assigns to every unit
its principal divisor
; in particular,
. finally,
denotes the cokernel of the degree map
, where in the number field case,
, and in the function field case,
.
this is written as follows:
let $K$ be a number field or an algebraic function field. then, we have the following commutative diagram with exact rows and columns:
$$\xymatrix{ & 0 \ar[d] & 0 \ar[d] & 0 \ar[d] & \\ 0 \ar[r] & \calO^* / k^* \ar[r] \ar[d] & \Div^0_\infty(K) \ar[r] \ar[d] & T \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / k^* \ar[r] \ar[d] & \Div^0(K) \ar[r] \ar[d] & \Pic^0(K) \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / \calO^* \ar[r] \ar[d] & \Id(\calO) \ar[r] \ar[d] & \Pic(\calO) \ar[r] \ar[d] & 0 \\ & 0 & H \ar@{=}[r] \ar[d] & H \ar[d] & \\ & & 0 & 0 & }$$
here, $T$ simply denotes the cokernel of the map $\calO^* \to \Div^0_\infty(K)$ which assigns to every unit $\varepsilon \in \calO^*$ its principal divisor $(\varepsilon)$; in particular, $T \cong \Div^0_\infty(K) / (\Princ(K) \cap \Div^0_\infty(K))$. finally, $H$ denotes the cokernel of the degree map $\Div(K) \to \G$, where in the number field case, $\G = \R$, and in the function field case, $\G = \Z$.
note that this example also shows a problem: namely, the vertical alignment of the inline formulae sucks bigtime. let’s see how to fix this…

be a number field or an algebraic function field. then, we have the following commutative diagram with exact rows and columns:![\displaystyle \xymatrix{ & 0 \ar[d] & 0 \ar[d] & 0 \ar[d] & \\ 0 \ar[r] & \calO^* / k^* \ar[r] \ar[d] & \Div^0_\infty(K) \ar[r] \ar[d] & T \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / k^* \ar[r] \ar[d] & \Div^0(K) \ar[r] \ar[d] & \Pic^0(K) \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / \calO^* \ar[r] \ar[d] & \Id(\calO) \ar[r] \ar[d] & \Pic(\calO) \ar[r] \ar[d] & 0 \\ & 0 & H \ar@{=}[r] \ar[d] & H \ar[d] & \\ & & 0 & 0 & } \displaystyle \xymatrix{ & 0 \ar[d] & 0 \ar[d] & 0 \ar[d] & \\ 0 \ar[r] & \calO^* / k^* \ar[r] \ar[d] & \Div^0_\infty(K) \ar[r] \ar[d] & T \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / k^* \ar[r] \ar[d] & \Div^0(K) \ar[r] \ar[d] & \Pic^0(K) \ar[r] \ar[d] & 0 \\ 0 \ar[r] & K^* / \calO^* \ar[r] \ar[d] & \Id(\calO) \ar[r] \ar[d] & \Pic(\calO) \ar[r] \ar[d] & 0 \\ & 0 & H \ar@{=}[r] \ar[d] & H \ar[d] & \\ & & 0 & 0 & }](http://spielwiese.fontein.de/.wp/wp-content/latex/5f1/5f162ccc181bb46c99bc965dc093549c-T-ffffff-0.png)
simply denotes the cokernel of the map
which assigns to every unit
its principal divisor
; in particular,
. finally,
denotes the cokernel of the degree map
, where in the number field case,
, and in the function field case,
.
february 28th, 2009 at 23:06 +0000
oh, and the formulae graphics are not transparent. well, maybe i’ll try to fix that later…
february 28th, 2009 at 23:40 +0000
also, it is very strange to read the entry in a feed reader using black fonts on white background instead of the other way around in your blog. the diagram is okay, but the in-line formulas are hardly readable.
march 1st, 2009 at 1:12 +0000
that’s true, but feed readers screw up most things anyway which are not plain text. so why care? ;)
well, one possibility is to modify the latex plugin to return different code (namely: links to others pictures) in case the test is requested for a feed and not for displaying on the site itself. i don’t know what’s the best way to solve this in wordpress…
march 1st, 2009 at 2:01 +0000
well, that’s changed. was easier than i thought to change, the hardest part was testing whether it really changed.
may 4th, 2009 at 3:41 +0000
i just upgraded the wp-latex package and put my own modifications mostly into an own plugin. now also formulae in comments should work, like
.
may 4th, 2009 at 3:46 +0000
note that the formulae now have transparent background, whence they probably suck if your feed reader shows the pngs on black background :)
may 4th, 2009 at 7:52 +0000
[...] which interest me, for example things related to my research. the formulae will be rendered with latex; mathml is simply unuseable so far. an example post shows a feature with i added to my wp-latex [...]
may 5th, 2009 at 4:51 +0000
another update. i added support for align* math environments to the latex plugin. this required hacking the latex renderer part of the wp-latex plugin; i just did that for the dvipng part. in case anyone is interested in my version of the plugin (including my wrapper plugin), contact me.