# Index of values

(^^) [Latex] | Infix Concatenation.
A
acute [Latex] |
addcontentsline [Latex] | `addcontentsline toc section name`
addvspace [Latex] | Similar to `vspace`, but an `addvspace x` followed by an `addvspace y` will produce an `addvspace` of `max x y`.
aleph [Latex] |
align [Latex] | the AMS align environment to align equations using &
align_ [Latex] | same as `align`, but without numbering
alpha [Latex] |
amalg [Latex] |
appendix [Latex] |
approx [Latex] | double ~
array [Latex] |
array_command [Latex] | `array_command x` is a low level command.
array_line [Latex] | Extra alignment ``I` in layout means that the column inherits the alignment of the first corresponding column in the array layout.
ast [Latex] | asterisk * (6-branches star)
asymp [Latex] | frown with smile on top
at_begin_section [Latex.BEAMER] |
at_begin_subsection [Latex.BEAMER] |
at_begin_subsubsection [Latex.BEAMER] |
atbegindocument [Latex] |
B
backmatter [Latex] |
bar [Latex] |
beta [Latex] |
beth [Latex] |
between [Latex] | `between d x`: concatenation of `left d`, `x` and `right d`.
bigcap [Latex] |
bigcirc [Latex] |
bigcup [Latex] |
bigodot [Latex] |
bigoplus [Latex] |
bigotimes [Latex] |
bigskip [Latex] | A big `vspace`.
bigsqcup [Latex] |
bigtriangledown [Latex] |
bigtriangleup [Latex] |
biguplus [Latex] |
bigvee [Latex] |
bigwedge [Latex] |
black_triangle_left [Latex] |
black_triangle_right [Latex] |
block [Latex.BEAMER] | `block title body`
block [Latex] | `block x` produces `{x}`.
bot [Latex] | ⊥
bowtie [Latex] |
box_ [Latex] | A square box, for instance to end proofs (QED).
brace [Latex] |
bracket [Latex] |
breve [Latex] |
bullet [Latex] | a small filled circle
C
cap [Latex] | set intersection
cdot [Latex] | centered .
cdots [Latex] | Centered dots `...`
center [Latex] |
chapter [Latex] |
chapter' [Latex] | Same as `chapter` but with no numbering.
check [Latex] |
chi [Latex] |
circ [Latex] | a small circle
clearpage [Latex] | Same as `newpage`, but also force figures and tables floating in the current page to be printed.
color [Latex.BEAMER] |
column [Latex.BEAMER] | One column.
columns [Latex.BEAMER] | Put your columns in this environment.
command [Latex] | LaTeX Command.
concat [Latex] | Concatenation.
cong [Latex] | = with ~ on top
coprod [Latex] |
cup [Latex] | set union
D
dagger [Latex] |
daleth [Latex] |
dashv [Latex] | -|
ddagger [Latex] | double dagger (`dagger` with one more cross on the bottom)
ddot [Latex] |
decr_var [Latex] | Decrement an integer variable.
delta [Latex] |
delta_ [Latex] |
diamond [Latex] | a small square rotated 45 degrees
digamma [Latex] |
displaymath [Latex] |
div [Latex] | - with .
document [Latex] | The `~packages` argument takes a list of `(name, opt)` where `name` is the name of the package and `opt` is its option.
documentclass [Latex] | All document must start with a single document class declaration, optionnally with arguments.
documentmatter [Latex] | `documentmatter body` renders your actual document, `body`, according to the rules specified in the prelude.
dot [Latex] |
doteq [Latex] | = with .
dots [Latex] |
downarrow [Latex] |
downarrow_ [Latex] | double `downarrow`
E
emph [Latex] | Emphasize
empty [Latex] | The empty LaTeX tree.
emptyset [Latex] |
enumerate [Latex] |
environment [Latex] | LaTeX Environment.
epsilon [Latex] |
equation [Latex] |
equi_columns [Latex.BEAMER] | Several columns with the same size each.
equiv [Latex] | = with 3 bars
eta [Latex] |
exists [Latex] | ∃
exponent [Latex] | `exponent x y` produces `{x}^{y}`
F
figure [Latex] | Floating figure.
final [Latex] | Like `get`, but the value of the variable is taken at the end of the document.
finalb [Latex] | Print the last value of a boolean variable.
finalf [Latex] | Print the last value of a float variable.
finali [Latex] | Print the last value of an integer variable.
finals [Latex] | Print the last value of a string variable.
finalt [Latex] | Print the last value of a variable containing a LaTeX AST.
float_all [Latex] | `[ `H; `T; `B; `P ]`
floatingfigure [Latex] | Floating figure which makes text wrap around it.
flushleft [Latex] |
flushright [Latex] |
footnote [Latex] |
footnotesize [Latex] |
forall [Latex] | ∀
frac [Latex] |
frame [Latex.BEAMER] | One slide.
framebox [Latex] | Same as `makebox` but draws a frame around the box.
frontmatter [Latex] |
frown [Latex] |
G
gamma [Latex] |
gamma_ [Latex] |
gather [Latex] |
gather_ [Latex] |
ge [Latex] | greater or equal
geq [Latex] | greater or equal (same as `Latex.ge`)
geqslant [Latex] | greater or equal (with equal bar parallel to the 'less than' sign
get [Latex] | Use the contents of a variable to compute part of the document.
get_in_env [Latex] |
gg [Latex] | >>
gimel [Latex] |
grave [Latex] |
H
hat [Latex] |
hfill [Latex] |
hookleftarrow [Latex] |
hookrightarrow [Latex] |
hphantom [Latex] | Horizontal-only phantom
hspace [Latex] | An horizontal, possibly negative space.
huge [Latex] |
huge2 [Latex] |
hyphen [Latex] | Tell LaTeX where to cut words at the end of lines.
I
iff [Latex] | <==> (bigger spaces)
ignorespaces [Latex] | Tells LaTeX to ignore following spaces and new lines.
in_ [Latex] | in set
includegraphics [Latex.BEAMER] | Same as `Latex.includegraphics` but with the `only` parameter.
includegraphics [Latex] |
incr_var [Latex] | Increment an integer variable.
index [Latex] | `index x y` produces `{x}_{y}`
index_exponent [Latex] | `index_exponent x y z` produces `{x}_{y}^{z}`.
inferrule [Latex] | Inference rule.
input [Latex] | Include a LaTeX file.
insertdocumentendpage [Latex.BEAMER] |
insertpagenumber [Latex.BEAMER] |
insertsection [Latex.BEAMER] |
insertshortsection [Latex.BEAMER] |
insertshortsubsection [Latex.BEAMER] |
insertshorttitle [Latex.BEAMER] |
insertsubsection [Latex.BEAMER] |
inserttitle [Latex.BEAMER] |
int [Latex] |
iota [Latex] |
is_empty [Latex] | Test whether a LaTeX tree is empty.
itemize [Latex] |
J
join_ [Latex] | small bowtie (latexsym package)
just_left [Latex] | `just_left d x`: concatenation of `left d`, `x` and `right `None`.
just_right [Latex] | `just_right d x`: concatenation of `left `None`, `x` and `right d`.
K
kappa [Latex] |
keywords [Latex.Verbatim] | `keywords k s`: apply `verbatim` on `s` but also apply `~apply` on all keywords given in `k`.
L
label [Latex] | Declare a new label.
lambda [Latex] |
lambda_ [Latex] |
land_ [Latex] | /\
langle [Latex] | ⟨
large [Latex] |
large2 [Latex] |
large3 [Latex] |
latex [Latex] | "LaTeX" written in a fancy but official way.
latex_of_float [Latex] |
latex_of_int [Latex] |
latex_of_size [Latex] | Low level function to be used to make new bindings.
lceil [Latex] | ⌈
ldots [Latex] | elipsis, works in math and text mode
le [Latex] | less or equal
leadsto [Latex] | ~> (latexsym package)
left [Latex] |
leftarrow [Latex] | <-
leftarrow_ [Latex] | <=
leftharpoondown [Latex] |
leftharpoonup [Latex] |
leftrightarrow [Latex] | <->
leftrightarrow_ [Latex] | <=>
leq [Latex] | less or equal (same as `Latex.le`)
leqslant [Latex] | less or equal (with equal bar parallel to the 'less than' sign
lhd [Latex] | bigger `triangleleft` (latexsym package)
list_insert [Latex] | Inserts an element between each elements of a list.
listoffigures [Latex] |
listoftables [Latex] |
ll [Latex] | <<
llbracket [Latex] | `[|`
llparenthesis [Latex] | `(|`
lnot [Latex] | ¬
longleftarrow [Latex] | <--
longleftarrow_ [Latex] | <==
longleftrightarrow [Latex] | <-->
longleftrightarrow_ [Latex] | <==>
longmapsto [Latex] |
longrightarrow [Latex] | -->
longrightarrow_ [Latex] | ==>
lor_ [Latex] | \/
M
mainmatter [Latex] |
makebox [Latex] | A box which only deals with horizontaly aligned material.
maketitle [Latex] | You should not need `maketitle` if you use `Latex.document`.
mapsto [Latex] |
mathbb [Latex] |
mathbf [Latex] | Bold (for math mode)
mathcal [Latex] | Caligraphic
mathfrak [Latex] |
mathit [Latex] | Italic (for math mode)
mathpar [Latex] | Math paragraph.
mathring [Latex] |
mathrm [Latex] | Roman (for math mode)
mathsf [Latex] | Sans serif (for math mode)
medskip [Latex] | A medium `vspace`.
mid [Latex] | |
minipage [Latex] | A box in which almost all command may be used.
mode [Latex] | Ensure text or math mode.
models [Latex] | |=
mp [Latex] | + with - on top (±)
mu [Latex] |
N
ne [Latex] | not equal (≠)
nearrow [Latex] | North-East arrow
neg [Latex] | ¬ (like `Latex.lnot`)
neq [Latex] | not equal (same as `Latex.ne`)
newcommand [Latex] | `newcommand parameter_count name body` defines a new command with `parameter_count` arguments, where you can use the `i`th argument by writing `#i` in the body, just as in Latex.
newline [Latex] | Start a new line.
newline_size [Latex] | A newline followed by a vertical space.
newpage [Latex] | Start a new page.
nobr [Latex] |
noindent [Latex] |
nointerlineskip [Latex] | Delete the interline vertical space.
normalsize [Latex] |
not_ [Latex] | generic negation of binary symbol.
notin [Latex] | not in set (∉)
nu [Latex] |
nwarrow [Latex] | North-West arrow
O
odot [Latex] | a circle with a centered .
oe [Latex] | French e in o as in "coeur", "noeud"...
oint [Latex] |
omega [Latex] |
omega_ [Latex] |
ominus [Latex] | a circle with a - inside
only [Latex.BEAMER] |
oplus [Latex] | a circle with a + inside
oslash [Latex] | a slashed circle
otimes [Latex] | a crossed circle
overbrace [Latex] |
overline [Latex] | A wide `bar` which spreads over the whole argument.
owns [Latex] | inverted in set
P
pagestyle [Latex] |
par [Latex] |
par_ [Latex] | The paragraph symbol.
paragraph [Latex] |
parallel [Latex] | ||
parbox [Latex] | A box in which new lines and paragraphs may be used.
part [Latex] | For the report style.
perp [Latex] | _|_
phantom [Latex] | Take the space of the argument without actually drawing it
phi [Latex] |
phi_ [Latex] |
pi [Latex] |
pi_ [Latex] |
place [Latex] | Place a position in the document.
place_index [Latex] | `printindex` output an index listing the various point which have been referenced by `place_index key`.
place_label [Latex] | `place_label lbl` places label `lbl`.
pm [Latex] | - with + on top (∓)
position [Latex] | Declare a new position.
prec [Latex] | trumpet <
preceq [Latex] | trumpet < or equal
printindex [Latex] |
prod [Latex] |
proof [Latex] |
propto [Latex] | infinite with open right buckle
pseudocode [Latex.Verbatim] | Pseudocode parsing.
psi [Latex] |
psi_ [Latex] |
Q
qquad [Latex] |
quad [Latex] |
quotation [Latex] |
quote [Latex] |
R
raisebox [Latex] | `raisebox ~shift x` displays x vertically displaced by `shift`.
rangle [Latex] | ⟩
rceil [Latex] | ⌉
ref_ [Latex] | Make a reference to the label.
regexps [Latex.Verbatim] | `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.
renewcommand [Latex] | Same as `newcommand` except that it can redefine existing LaTeX commands.
require_packages [Latex] | `require_packages` takes as argument a list of pairs `package,option`.
required_packages [Latex] | Your prelude must contain the list of packages required by your document.
rhd [Latex] | bigger `triangleright` (latexsym package)
rho [Latex] |
right [Latex] |
rightarrow [Latex] | ->
rightarrow_ [Latex] | =>
rightharpoondown [Latex] |
rightharpoonup [Latex] |
rightleftharpoons [Latex] |
rrbracket [Latex] | `|]`
rrparenthesis [Latex] | `|)`
rule_ [Latex] | `rule_ width height` draws a rule (i.e.
S
scriptsize [Latex] |
searrow [Latex] | South-East arrow
section [Latex] |
section' [Latex] | Same as `section` but with no numbering.
set [Latex] | Change the value of a variable.
setbeamertemplate [Latex.BEAMER] |
setf [Latex] | Change the value of a variable in the rest of the document.
setf2 [Latex] | `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`.
setminus [Latex] | backslash
sharp [Latex] |
sigma [Latex] |
sigma_ [Latex] |
sim [Latex] | ~
simeq [Latex] | ~ or equal
slide [Latex] |
small [Latex] |
smallskip [Latex] | A small `vspace`.
smile [Latex] |
space [Latex] | Forces a space, same as "\ " in LaTeX
split [Latex] |
split_lines [Latex.Verbatim] | Split a string according to the `'\n'` delimiter, which is not kept.
sqcap [Latex] | square cap
sqcup [Latex] | square cup
sqsubset [Latex] | square strict subset (latexsym package)
sqsubseteq [Latex] | square subset or equal
sqsupset [Latex] | square strict superset (latexsym package)
sqsupseteq [Latex] | square superset or equal
square [Latex] |
stackrel [Latex] |
star [Latex] | 5-branches star
subfloat [Latex] | Sub-figure.
subsection [Latex] |
subsection' [Latex] | Same as `subsection` but with no numbering.
subset [Latex] |
subseteq [Latex] |
subsubsection [Latex] |
subsubsection' [Latex] | Same as `subsubsection` but with no numbering.
succ [Latex] | trumpet >
succeq [Latex] | trumpet > or equal
sum [Latex] |
supset [Latex] |
supseteq [Latex] |
swarrow [Latex] | South-West arrow
symbol [Latex] |
symbolc [Latex] | Convert a `char` into an `int` and apply `symbol`.
T
tableofcontents [Latex.BEAMER] |
tableofcontents [Latex] |
tau [Latex] |
text [Latex] | Raw LaTeX.
textbf [Latex] | Bold
textit [Latex] | Italic
textrm [Latex] | Roman
textsc [Latex] | Small caps
textsf [Latex] | Sans serif
texttt [Latex] | Monospace
theta [Latex] |
theta_ [Latex] |
thispagestyle [Latex] |
tilde [Latex] |
times [Latex] | ×
tiny [Latex] |
to_ [Latex] | -> (same as `Latex.rightarrow`)
to_buffer [Latex] |
to_channel [Latex] |
to_file [Latex] |
to_string [Latex] |
to_string_with_env [Latex] |
today [Latex] |
top [Latex] | ⊤
triangleleft [Latex] | ◃
triangleright [Latex] | ▹
trim [Latex.Verbatim] | Delete characters at the beginning and at the end of a string.
trim_begin [Latex.Verbatim] | Delete characters at the beginning of a string.
trim_end [Latex.Verbatim] | Delete characters at the end of a string.
twoheadrightarrow [Latex] | ->>
U
underbrace [Latex] |
unlhd [Latex] | bigger, underlined `triangleleft` (latexsym package)
unrhd [Latex] | bigger, underlined `triangleright` (latexsym package)
unusual_command [Latex] | `unusual_command` does the same as `command`, but is more low level.
uparrow [Latex] |
uparrow_ [Latex] | double `uparrow`
updownarrow [Latex] |
updownarrow_ [Latex] | double `updownarrow`
uplus [Latex] | a cup with a + inside
upsilon [Latex] |
upsilon_ [Latex] |
usepackage [Latex] | You can use this in the `~prelude` of your `document`, but it is better to use the `~packages` argument of `document`.
V
varb [Latex] | Print a boolean variable.
varepsilon [Latex] |
varf [Latex] | Print a float variable.
vari [Latex] | Print an integer variable.
variable [Latex] | Declare a new variable.
varkappa [Latex] |
varphi [Latex] |
varpi [Latex] |
varrho [Latex] |
vars [Latex] | Print a string variable.
varsigma [Latex] |
vart [Latex] | Print a variable containing a LaTeX AST.
vartheta [Latex] |
vdash [Latex] | |-
vec [Latex] |
verbatim [Latex.Verbatim] | 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.
vfil [Latex] |
vfill [Latex] |
vphantom [Latex] | Vertical-only phantom
vspace [Latex] | A vertical space.
W
widehat [Latex] | A wide `hat` which spreads over the whole argument.
widetilde [Latex] | A wide `tilde` which spreads over the whole argument.
within_braces [Latex] | `within_braces x` produces `{x}`.
wr [Latex] | a vertical ~
wrapfigure [Latex] | Floating figure which makes text wrap around it.
X
xi [Latex] |
xi_ [Latex] |
Z
zeta [Latex] |