Martin Landa writes:
Hi,
I have problem with the math mode which fails even LaTeX syntax is
valid, see e.g.[1] (using
1.15.1 (r55773)).
Thanks in advance, Martin
You have too much slashes
Use instead:
<math>
X = {go, stop}
Y = Pos(G)
S = {(d,\sigma)| d \in P \times {stopped, running}, \sigma \in
\mathbb{T}^{\infty}}, s_{0} = ((v_{0},stopped), \infty)
\forall s \in S : ta(s) = \sigma
\delta_{ext}((((v_{i}, stopped), \sigma), t_{e}), go) =
((v_{i},running), \sigma)
\delta_{ext}((((v_{i},stopped), \sigma), t_{e}), stop) =
((v_{i}, stopped), \sigma - t_{e})
\delta_{ext}((((v_{i},running), \sigma), t_{e}), go) =
((v_{i},running), \sigma - t_{e})
\delta_{ext}((((v_{i},running), \sigma), t_{e}), stop) =
((v_{i}, stopped), \sigma)
\delta_{ext}(((((e_{i}, x),running), \sigma), t_{e}), go)
= (((e_{i}, x), running), \sigma - t_{e})
\delta_{ext}(((((e_{i}, x),running), \sigma), t_{e}),
stop) = (((e_{i}, x), stopped), \sigma)
\delta_{ext}(((((e_{i}, x),stopped), \sigma), t_{e}),
go) = (((e_{in}, x), running), \sigma)
\delta_{ext}(((((e_{i}, x), stopped), \sigma), t_{e}),
stop) = (((e_{i}, x), stopped), \sigma - t_{e})
\delta_{int}((v_{i}, running), \sigma) = (((e_{i+1}, 0), running), \sigma)
\delta_{int}(((e_{i}, x < 1), running), \sigma) = (((e_{i}, x + \Delta),
running), \sigma)
\delta_{int}(((e_{i}, x \geq 1),running), \sigma) = ((v_{i+1}, stopped),
2 minutes)
\delta_{int}((v_{i}, stopped), \sigma) = ((v_{i}, running), \sigma)
\lambda((v_{i}, stopped), \sigma) = v_{i}
\lambda((v_{i}, running), \sigma) = v_{i}
\lambda(((e_{i}, x), stopped, \sigma) = (e_{i}, x)
\lambda(((e_{i}, x), running, \sigma) = (e_{i}, x)
</math>
That's
http://upload.wikimedia.org/math/6/a/9/6a9f902e0edb7e735a07f0d00618c0d1.png
You probably want to split it on several <math> tags.