• View
• Edit
• History
• Attach
• Print
• Backlinks

Mathtex

Questions answered by this recipe

• Can PmWiki be used to display long mathematical sequences, logical demonstrations (in Fitch mode)?

This section is optional; use it to indicate the types of questions (if any) this recipe is intended to answer.

Description

MathTex replace MimeTex for those who have latex installed on ther server. MathTex recipe permits several lines logical or mathematical demonstrations.

Installation

The homesite of MathTex is: http://www.forkosh.dreamhost.com/source_mathtex.html

GPL licenced written in C.

As MimeTex, MathTex run in cgi

for a simple usage, you can replace occurrences of mimtex by mathtex, after installation of the MathTex script in the cgi-bin directory.

Edit the c code to set dvipng or dvips+convert locations.

Compile the cgi by

  cc mathtex.c -o mathtex.cgi

Customization to add newpackages

You can add \usepackage{yourpackage} directly in the code after line 1023 and recompile the cgi

Simply replace MimeTex for simple usage

Put the mathtex.cgi in the cgi-bin directory of your server

For those who have LaTex installed on their server!

  mv mimetex.cgi mimetex.old
  ln -s mathtex.cgi mimetex.cgi

(a symbolic link is set to mathtex.cgi, calling mimetex is calling mathtex)

Customisation to manage serveral line LaTeX scripts

I prepare a MathTex script from Pm MimeTex script.

The idea of this script is simply to replace the Markup {$ latex $} by {$[= latex =]$} to manage several lines.

mathtex.phpΔ

place the mathtex.php script into the cookbook directory

in the local/config.php, add the line

  include_once('cookbook/mathtex.php');

set the values to the variables in the beginnine of the script (to run the cgi and to find the cache)

Sample

the following code: the code use the fitch and xcolor package

{$[=
  \begin{fitch}
   \fa Pp \to \neg\Diamond\neg{Pp} & A \\
    \fa (p \to q) \to (\neg\Diamond q \to
\neg\Diamond p) & B \\
    \fa \color{magenta} p \to \neg{P\neg{Fp}} & f \\
    \fj \color{green} \neg{p} \color{red} \to P\neg{F{p}} & f' \\
    \fa\fh \neg{p} \land \neg{Fp} &  \\
    \fa\fa \color{green} \neg{p} & 5,\land\\ 
    \fa\fa \color{red} P\neg{Fp} & MP 6,4\\
    \fa\fa \color{red} P\neg{Fp} \color{black} \to \color{blue} \neg\Diamond\neg{P\neg{Fp}} & A, p/P\neg{Fp} \\
    \fa\fa \color{blue} \neg\Diamond\neg{P\neg{Fp}} & MP 7,8 \\
    \fa\fa ( \color{magenta} p \to \neg{P\neg{Fp}} \color{black} ) \to
    (   \color{blue}  \neg\Diamond\neg{P\neg{Fp}}   \color{black}  \to
    \color{cyan} \neg\Diamond{p}) & B,
    q/\neg{P\neg{Fp}}) \\
    \fa\fa \color{blue}  \neg\Diamond\neg{P\neg{Fp}} \color{black} \to
    \color{cyan} \neg\Diamond{p} & MP
    3,10 \\
    \fa\fa \color{cyan} \neg\Diamond{p} & MP 9,11 \\
    \fa \neg(\neg{p} \land \neg{Fp} \land\Diamond{p}) & 5,12 \\
  \end{fitch}
=]$}

give:

Release Notes

This first version is for testing. Maybe it is possible to do more simple Markup for several lines, I don't know.

If the recipe has multiple releases, then release notes can be placed here. Note that it's often easier for people to work with "release dates" instead of "version numbers".

See Also

Contributors

felie

Comments

See discussion at Mathtex-Talk?