Index of values

Infix Concatenation.

addcontentsline toc section name

Similar to vspace, but an addvspace x followed by an addvspace y will produce an addvspace of max x y.

the AMS align environment to align equations using &

same as align, but without numbering

double ~

array_command x is a low level command.

Extra alignment `I in layout means that the column inherits the alignment of the first corresponding column in the array layout.

asterisk * (6-branches star)

frown with smile on top

between d x: concatenation of left d, x and right d.

A big vspace.

block title body

block x produces {x}.

⊥

A square box, for instance to end proofs (QED).

a small filled circle

set intersection

centered .

Centered dots ...

Same as chapter but with no numbering.

a small circle

Same as newpage, but also force figures and tables floating in the current page to be printed.

One column.

Put your columns in this environment.

LaTeX Command.

Concatenation.

= with ~ on top

set union

-|

double dagger (dagger with one more cross on the bottom)

Decrement an integer variable.

a small square rotated 45 degrees

- with .

The ~packages argument takes a list of (name, opt) where name is the name of the package and opt is its option.

All document must start with a single document class declaration, optionnally with arguments.

documentmatter body renders your actual document, body, according to the rules specified in the prelude.

= with .

double downarrow

Emphasize

The empty LaTeX tree.

LaTeX Environment.

Several columns with the same size each.

= with 3 bars

∃

exponent x y produces {x}^{y}

Floating figure.

Like get, but the value of the variable is taken at the end of the document.

Print the last value of a boolean variable.

Print the last value of a float variable.

Print the last value of an integer variable.

Print the last value of a string variable.

Print the last value of a variable containing a LaTeX AST.

[ `H; `T; `B; `P ]

Floating figure which makes text wrap around it.

∀

One slide.

Same as makebox but draws a frame around the box.

greater or equal

greater or equal (same as Latex.ge)

greater or equal (with equal bar parallel to the 'less than' sign

Use the contents of a variable to compute part of the document.

>>

Horizontal-only phantom

An horizontal, possibly negative space.

Tell LaTeX where to cut words at the end of lines.

<==> (bigger spaces)

Tells LaTeX to ignore following spaces and new lines.

in set

Same as Latex.includegraphics but with the only parameter.

Increment an integer variable.

index x y produces {x}_{y}

index_exponent x y z produces {x}_{y}^{z}.

Inference rule.

Include a LaTeX file.

Test whether a LaTeX tree is empty.

small bowtie (latexsym package)

just_left d x: concatenation of left d, x and right `None.

just_right d x: concatenation of left `None, x and right d.

keywords k s: apply verbatim on s but also apply ~apply on all keywords given in k.

Declare a new label.

/\

⟨

"LaTeX" written in a fancy but official way.

Low level function to be used to make new bindings.

⌈

elipsis, works in math and text mode

less or equal

~> (latexsym package)

<-

<=

<->

<=>

less or equal (same as Latex.le)

less or equal (with equal bar parallel to the 'less than' sign

bigger triangleleft (latexsym package)

Inserts an element between each elements of a list.

<<

[|

(|

¬

<--

<==

<-->

<==>

-->

==>

\/

A box which only deals with horizontaly aligned material.

You should not need maketitle if you use Latex.document.

Bold (for math mode)

Caligraphic

Italic (for math mode)

Math paragraph.

Roman (for math mode)

Sans serif (for math mode)

A medium vspace.

|

A box in which almost all command may be used.

Ensure text or math mode.

|=

+ with - on top (±)

not equal (≠)

North-East arrow

¬ (like Latex.lnot)

not equal (same as Latex.ne)

newcommand parameter_count name body defines a new command with parameter_count arguments, where you can use the ith argument by writing #i in the body, just as in Latex.

Start a new line.

A newline followed by a vertical space.

Start a new page.

Delete the interline vertical space.

generic negation of binary symbol.

not in set (∉)

North-West arrow

a circle with a centered .

French e in o as in "coeur", "noeud"...

a circle with a - inside

a circle with a + inside

a slashed circle

a crossed circle

A wide bar which spreads over the whole argument.

inverted in set

The paragraph symbol.

||

A box in which new lines and paragraphs may be used.

For the report style.

_|_

Take the space of the argument without actually drawing it

Place a position in the document.

printindex output an index listing the various point which have been referenced by place_index key.

place_label lbl places label lbl.

- with + on top (∓)

Declare a new position.

trumpet <

trumpet < or equal

infinite with open right buckle

Pseudocode parsing.

raisebox ~shift x displays x vertically displaced by shift.

⟩

⌉

Make a reference to the label.

regexps [r1, a1; r2, a2; ...] f s: apply a1 on all matches of r1 in s, then a2 on all matches of r2, and so on.

Same as newcommand except that it can redefine existing LaTeX commands.

require_packages takes as argument a list of pairs package,option.

Your prelude must contain the list of packages required by your document.

bigger triangleright (latexsym package)

->

=>

|]

|)

rule_ width height draws a rule (i.e.

South-East arrow

Same as section but with no numbering.

Change the value of a variable.

Change the value of a variable in the rest of the document.

setf var_in var_out f Change the value of the variable var_out in the rest of the document using the contents of var_in.

backslash

~

~ or equal

A small vspace.

Forces a space, same as "\ " in LaTeX

Split a string according to the '\n' delimiter, which is not kept.

square cap

square cup

square strict subset (latexsym package)

square subset or equal

square strict superset (latexsym package)

square superset or equal

5-branches star

Sub-figure.

Same as subsection but with no numbering.

Same as subsubsection but with no numbering.

trumpet >

trumpet > or equal

South-West arrow

Convert a char into an int and apply symbol.

Raw LaTeX.

Bold

Italic

Roman

Small caps

Sans serif

Monospace

×

-> (same as Latex.rightarrow)

⊤

◃

▹

Delete characters at the beginning and at the end of a string.

Delete characters at the beginning of a string.

Delete characters at the end of a string.

->>

bigger, underlined triangleleft (latexsym package)

bigger, underlined triangleright (latexsym package)

unusual_command does the same as command, but is more low level.

double uparrow

double updownarrow

a cup with a + inside

You can use this in the ~prelude of your document, but it is better to use the ~packages argument of document.

Print a boolean variable.

Print a float variable.

Print an integer variable.

Declare a new variable.

Print a string variable.

Print a variable containing a LaTeX AST.

|-

Replace all non-alphanumerical characters by an application of the symbol command, all spaces by escaped spaces, and all new lines by actual new lines.

Vertical-only phantom

A vertical space.

A wide hat which spreads over the whole argument.

A wide tilde which spreads over the whole argument.

within_braces x produces {x}.

a vertical ~

Floating figure which makes text wrap around it.