Goal of this tutorial

The goal of this tutorial is to explain you how to create simple plain text file with methmatical formulas. You will be able to type text that looks like above.

Preparation of a buffer

Let's start by visiting the file binomial.txt in a Emacs. The file is empty. Add Imath minor mode to the buffer by typing:

M-x imath-mode

It takes a second or two to complete this command, since there started Maxima process in background.

Typing text and Maxima commands and converting the commands to images

Then type the following text:

Theorem:

{maxima binomial(n-1,i-1)+binomial(n-1,i)=binomial(n,i) maxima}

into the binomial.txt buffer. Making sure the cursor being right after the input text, type:

C-c !

to make the Maxima command text image. You will obtain:

You continue to type:

Proof:

We prove this formuula by subtracting the right hand side

from the left hand side.

Using makefactorial() command in Maxima, factorial representation of the formula is obtained:

{maxima binomial(n-1,i-1)+binomial(n-1,i)-binomial(n,i) maxima}

Now you typed the normal text with Maxima command. Again, you can make the formula image from the Maxima command by type:

C-c !

and you get the following image:

Just right after the image, you continue to type:

={maxima makefact(binomial(n-1,i-1)+binomial(n-1,i)-binomial(n,i)) maxima}

Again, type:

C-c !

The line looks like this:

You can continue writing text with Maxima commands in this way.

Continued to Tutorial of Imath (2)...