Categories, Logic and Physics: Recent Forum Posts

Doing maths

Andreas Doering 1203469352|%e %b %Y, %H:%M %Z|agohover
in discussion About this site / General » Doing maths

OK, let's see. There is a button "mathematical equation" (the one with the radical). It produces:

(1)

$insert LaTeX equation here$

Great! I can do LaTeX in here.

(2)

$x\in X; \breve\delta(\hat A):\underline{\Sigma}\rightarrow\underline{\mathbb{R}^{\leftrightarrow}}$

Nice. Can I do more complex stuff? Like tables?

(3)

$\hat{E}_{\lambda}^{P}=\left\{ \begin{tabular} [c]{ll}% $\widehat{0}$ & if $\lambda<0$\ $\widehat{1}-\widehat{P}$ & if $0\leq\lambda<1$\ $\widehat{1}$ & if $\lambda\geq1$% \end{tabular} \ \right.$

Yep. Now how about matrices?

(4)

$\left( \begin{array} [c]{ccc}% \alpha & 1 & \sin x\ 1 & \Gamma & 0 \end{array} \right)$

This all works fine. There also is a button "inline mathematical expression" (the one with x/2). It produces: $insert LaTeX equation here$ . OK, here we go: $P^{V}\longmapsto\{\omega\in\Sigma(V)\ |\ \omega(P^{V})=1\}$ .

The next one, "equation reference" (the one with Eq. (n)), just gives me the message "Sorry, no labelled equations found", even if I use \label{xyz} in one of the equations above. Must find out how this works sometime. Anyway, the equations are automatically numbered, so referencing should be no problem.

Finally, let's try some logical symbols:

(5)

$\exists\ \forall\ \lnot\ \wedge\ \vee\ \vdash\ \top\ \bot$