Help:Formulas

Formulas on a wiki like Ifigenia can be represented in three ways, depending on the formula complexity and tools used:
 * Unicode characters - for simple formulas, of course :-)
 * Images - for formulas of any complexity, created as an image file (preferably  or  ) and uploaded locally.
 * TeX code - for formulas of any complexity - from very simple to extremely sophisticated

Maybe, for the users of Ifigenia TeX-coded formulas may turn out to be the most natural ones. They allow relatively good integration with other TeX documents and they can be further saved as image files, for the sake of integration with MS Word documents.

Formulas in TeX
In the wiki websites, TeX-formulas are distinguished from the rest of the text by enclosing them with the tags. A handy way is to click the Math button and then write between the tags.

On Ifigenia, the TeX formulas are rendered using a public mimeTeX web service, so the process may be a bit slower, about 1 second per 1 -call.

Rendered TeX formulas can be stored on the hard disk as images in  format (default) or   (optional).

Here is a reference list for the various TeX commands in use.

Formulas in simple text
These can be produced with:
 * the keyboard symbols,
 * the symbols from the virtual keyboard (available by clicking on the [[Image:Button_more.png]] button in edit mode)
 * any other Unicode symbols
 * formatting commands like  (subscript),   (superscript),   (italic)

The major drawback is that in this way only one-line simple formulas can be produced; multiline formula, fractions, matrices, etc cannot be created using simple text. However, it can prove handy for really small formula or variables/constants/functions definitions, and for people who do not master TeX.


 * Examples

Formulas in uploaded images

 * You may first want to read Help:Upload and Help:Images and files.

The major drawbacks of this approach are:
 * Images are difficult to edit, and need external graphic editor for this sake.
 * Images may scale down, but may not scale up well (unless in vector graphic format).
 * Images files may be unnecessary large.
 * Files can only be uploaded by registered users.

Image




Wiki markup
Z5 = < {l7, m4}, {l8, m5}, M5, Λ(l7, m3) >
 * where

Z5 = < {l7, m4}, {l8, m5}, IMP, Λ(l7, m3) >
 * where

TeX
$$Z_5 = \big< \{ l_7, m_4 \}, \{ l_8, m_5 \}, \begin{array}{c|c c} & l_8 & m_5 \\ \hline l_7 & true & false \\ m_4 & W_{4,8} & W_{4,5} \\ \end{array}, \land (l_7, m_3) \big>$$

$$ Z_5 = \big< \{ l_7, m_4 \}, \{ l_8, m_5 \}, \begin{array}{c|c c} & l_8 & m_5 \\ \hline l_7 & true & false \\ m_4 & W_{4,8} & W_{4,5} \\ \end{array}, \land (l_7, m_3) \big> $$