Insert a raw piece of Text. This functions doesn't escape LaTeX reserved characters, it insert the text just as it is received.

Warning: This function is unsafe, in the sense that it does not check that the input text is a valid LaTeX block. Make sure any braces, commands or environments are properly closed.

Calling between c l1 l2 puts c between l1 and l2 and appends them.

between c l1 l2 = l1 <> c <> l2

Create a comment.

This operator appends a comment after a expression. For example:

textbf "I'm just an example." %: "Insert a few words here."

The implementation is

(%:) l = (l <>) . comment

Since you are writing in Haskell, you may not need to output comments as you can add them in the Haskell source. I added this feature for completeness. It may be useful for debugging the output as well.

Set the title of your document.

Set the author(s) of the document.

Set a date for your document.

Set either an institute or an organization for the document. It does not work for a document of the article class.

Set the document class. Needed in all documents.

Import a package. First argument is a list of options for the package named in the second argument.

A class option to be passed to the documentclass function.

Changes the layout of the document to print in landscape mode

Makes chapters begin either only on right hand pages

Makes chapters begin on the next page available.

Typesets displayed formulae left-aligned instead of centred.

Places the numbering of formulae on the left hand side instead of the right.

LaTeX available paper types.

Used in conjunction with myheadings for setting both the left and the right heading.

Used in conjunction with myheadings for setting the right heading.

The document environment contains the body of the document.

Generate the title. It normally contains the title name of your document, the author(s) and date.

Create the table of contents, automatically generated from your sections, subsections, and related functions.

Abstract section.

Start a new chapter with the given title.

Start a new section with a given title.

Start a new subsection.

Start a new subsubsection.

Start a paragraph.

Start a subparagraph (minimal level of sectioning).

Render the date at compilation time.

Render the current page.

TeX logo.

The LaTeX logo.

LaTeX logo.

Horizontal dots.

Vertical dots.

Diagonal dots.

Print the HaTeX logo.

Print the HaTeX 3 logo.

Print the HaTeX logo, beside the complete version number.

Start a new paragraph

Start a new line.

Start a new line. In a tabular, it starts a new row, so use newline instead.

Fill out all available horizontal space.

Fill out all available vertical space.

The point of verbatim is to include text that will not be parsed as LaTeX in any way at all, but should simply appear as given in the document, in a separate display in typewriter font.

Include text, as given and in typewriter, but in-line. Note that, for LaTeX-specific technical reasons, verbatim text can generally only be used "at the top level", not in e.g. section titles or other command-arguments.

Unlike verbatim, which LaTeX implements as an ordinary environment, its command verb uses a syntax trick to avoid braking its parsing when the literal text contains a closing brace: rather than using braces at all, the first character after \verb will be the right delimiter as well. Translating this method to HaTeX wouldn't really make sense since Haskell has string literals with their own escaping possibilities; instead, we make it secure by automatically choosing a delimiter that does not turn up in the given string.

Set the given argument to bold font face.

Set the given argument to monospaced font.

Set the given argument to small caps format.

Environment of ordered lists. Use item to start each list item.

Environment of unordered lists. Use item to start each list item.

An item of a list (see enumerate or itemize). The optional argument sets the design of the item.

Left-justify the argument.

Right-justify the argument.

Center-justify the argument.

Minipage environment.

Figure environment.

Arabic numerals.

Lowercase roman numerals.

Uppercase roman numerals.

Lowercase letters.

Uppercase letters.

Produce a simple black box.

The tabular environment can be used to typeset tables with optional horizontal and vertical lines.

Like tabular but in math mode by default

Column separator.

Horizontal line.

cline i j writes a partial horizontal line beginning in column i and ending in column j.

Cell taking multiple columns.

If you are able to arrange some data in matrix form, you might want to use this function to quickly generate a tabular with your data. Each element of the matrix is rendered using the Texy instance of its type. If you want a custom instance for an already instantiated type, wrap that type using newtype, and then create your own instance. Since every element of a matrix must be of the same type, for mixed tables you might want to create an union type. For example, if your data matrix contains Ints and Doubles:

data Number = R Double | I Int

instance Texy Number where
  texy (R x) = texy x
  texy (I x) = texy x

Now you can have a matrix of type Matrix Number and use it to render your mixed data in a LaTeX table.

The function matrixTabular does not give you many options, so it is not as flexible as generating the table by yourself, but it uses a reasonable standard style.

A very simple example:

matrixTabular (fmap textbf ["x","y","z"]) $
  fromList 3 3 [ (1 :: Int)..]

This code generates the following table:

For more examples see the file Examples/tables.hs, included in the source distribution.

For more info about how to generate and manipulate matrices, see Data.Matrix.

Quotation marks.

Import an external file and insert its content as it is.

Similar to input, but forces a page break.

Note: the file you are including cannot include other files.