B'9      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./012345678"SafeDRTree datatype.Leafs are non-empty.Node values are optional.Safe05DR*An argument for a $ command or environment.Fixed argument.Optional argument.Multiple optional argument. An argument enclosed between < and >.! Version of   with multiple options."An argument enclosed between ( and ).# Version of " with multiple options.$Type of LaTeX blocks.% Raw text.&]Constructor for commands. First argument is the name of the command. Second, its arguments.'KConstructor for commands with no arguments. When rendering, no space or {} will be added at the end.(zConstructor for environments. First argument is the name of the environment. Second, its arguments. Third, its content.)Mathematical expressions.*Line break command.+A expression between braces., Comments.-Sequencing of $ expressions. Use  preferably..An empty block. Neutral element of ./7Different types of syntax for mathematical expressions.3$Measure units defined in LaTeX. Use : to use commands like  textwidth. For instance: -rule Nothing (CustomMeasure linewidth) (Pt 2)"This will create a black box (see rule*) as wide as the text and two points tall.4CA point is 1/72.27 inch, that means about 0.0138 inch or 0.3515 mm.5 Millimeter.6 Centimeter.7Inch.8)The height of an "x" in the current font.9(The width of an "M" in the current font.:You can introduce a $ expression as a measure.;&Escape LaTeX reserved characters in a 9.<&Escape LaTeX reserved characters in a .= Look into a $ syntax tree to find any call to the command with the given name. It returns a list of arguments with which this command is called. 3lookForCommand = (fmap snd .) . matchCommand . (==)If the returned list is empty, the command was not found. However, if the list contains empty lists, those are callings to the command with no arguments. For example lookForCommand "author" l*would look for the argument passed to the \author command in l.> Traverse a $+ syntax tree and returns the commands (see & and '>) that matches the condition and their arguments in each call.? Similar to =y, but applied to environments. It returns a list with arguments passed and content of the environment in each call. =lookForEnv = (fmap (\(_,as,l) -> (as,l)) .) . matchEnv . (==)@ Traverse a $2 syntax tree and returns the environments (see (P) that matches the condition, their arguments and their content in each call.A The function AY looks for subexpressions that match a given condition and applies a function to them. /texmap c f = runIdentity . texmapM c (pure . f)B Version of A( where the function returns values in a :.CExtract the content of the document environment, if present.DExtract the preamble of a $! document (everything before the document$ environment). It could be empty.;Utility for the instance of $ to <W. We generate a short sequence of characters and escape reserved characters with <.=XGenerator for names of command and environments. We use only alphabetical characters.HMethod >) escapes LaTeX reserved characters using ;.JMethod L is strict in both arguments (except in the case when the first argument is .).5 !"#$%&'()*+,-./0123456789:;<?=Name of the command.LaTeX syntax tree.(List of arguments passed to the command.>@?@AA Condition.-Function to apply when the condition matches.B Condition.-Function to apply when the condition matches.CDB;=EFGHIJ* !"#$%&'()*+,-./0123745689:;<=>?@ABCD*3456789:/012$%&'()*+,-. !"#;<>=@?ABCD !"#$ %&'()*+,-./0123456789:;<?=>@?@AABCDB;=EFGHIJSafeDR [A [4 is a function that checks possible warnings from a $ value. Use the % instance to combine check functions.\Apply a checking.]List of possible warnings.^/There is an unused label. Argument is its name._BThere is a reference to an undefined label. Arguments is the name.`No class selected with  documentclass.aNo document inserted.b8Custom warning for custom checkings. Use it as you want.cBuild a [ from a function.d Check with g, e and f.e?Check if a document class is specified for the document (using  documentclass).f Check if the document environment is called in a $.g=Checking for unused labels or references tu undefined labels.CDEFGH[I\]^_`abcdeJfKLgMNOh [\]^_`abcdefg]^_`ab[\\cgefdCDEFGH[I\]^_`abcdeJfKLgMNOhSafeDR kThis is the class of $ code generators. It has  and P as superclasses.l9This method must take a function that combines a list of $@ values into a new one, and creates a function that combines lR-typed values. The combining function can be seen as a function with 0 or more $ arguments with a $ value as output.mMap a $ value to its equivalent in any k instance.nLift a inner function of $ values into any k instance.o Variant of n with a two arguments function.p Variant of n! with a three arguments function.qZA simple (without arguments) and handy command generator using the name of the command. &comm0 str = fromLaTeX $ TeXComm str []rwA one parameter command generator using the name of the command. The parameter will be rendered as a fixed argument. 0comm1 str = liftL $ \l -> TeXComm str [FixArg l]sLike q but using '>, i.e. no "{}" will be inserted to protect the command's end. commS = fromLaTeX . TeXCommStA lifted version of the + constructor. braces = liftL TeXBracesuThis instance just sets liftListL = id. klmnopqrstuklmnopqrstklmnopqrst klmnopqrstuSafeDR v+Class of values that can be transformed to *. You mainly will use this to obtain the  output of a $I value. If you are going to write the result in a file, consider to use {.Consider also to use } to get vable values into $ blocks.'If you want to make a type instance of v and you already have a Q, instance, you can use the default instance. render = fromString . showx2Render every element of a list and append results.yMRender every element of a list and append results, separated by the given R.zJRender every element of a list and append results, separated by commas.{Use this function to render a $ (or another one in the v$ class) value directly in a file.|:If you are going to insert the content of a file in your $= data, use this function to ensure your encoding is correct.} If you can transform a value to , you can insert that  in your $* code. That is what this function does. Warning: }+ does not escape LaTeX reserved characters. Use < to escape them.~OShow a signed floating number using standard decimal notation using 5 decimals.v instance for S. It satisfies render True = "true" and render False = "false".0This instance escapes LaTeX reserved characters.vwxyz{|}~P>TUVW9vwxyz{|}~ vwxyz{}|~vwxyz{|}~SafeDR Parser with  input and  environment.#Configuration for the LaTeX parser.aThis is the list of names of the environments such that their content will be parsed verbatim.&Default parser configuration, used by  and . Defaults: #verbatimEnvironments = ["verbatim"]Parse a  sequence as a $3 block. If it fails, it returns an error string.Read a file and parse it as $.The $ parser.Parser of a single $" constructor, no appending blocks.-XYZ[\]^_`abcdefghijklmnopqrstuvwxy     +XYZ[\]^_`abcdefghijklmnopqrstuvwxy SafeDR)This function transforms a value of type $ to a z+. You can then choose how to print this z& value using the function from the Text.PrettyPrint.Free module.Pretty print a $6 value. It produces a more human-friendly output than w.This function should be used only for debugging purposes since it may change the semantics of the input in order to create a prettier output. In other words, running a LaTeX compiler in the output file of renderFile fp lF may produce a different document than running it in the output of writeFile fp (prettyLaTeX l). You should use {/ unless you really need to read the LaTeX file.{{ SafeDRType of table specifications.Left-justified column.Centered column.Right-justified column.9Paragraph column with text vertically aligned at the top.FParagraph column with text vertically aligned at the middle. Requires array package.FParagraph column with text vertically aligned at the bottom. Requires array package."Vertical line between two columns.)Double vertical line between two columns.Column separator. Requires array package.Horizontal position.Vertical position.Type of labels.!Page styles are represented by a 9.#Package names are represented by a 9.!Class names are represented by a 9.Create a label from its name.Get the name of a label.| 3745689: 3456789: | SafeDR-Class of types that can be pretty-printed as $ values.  SafeDRThe  monad transformed applied to }.Type synonym for empty  computations.~ monad transformer applied to $ values.A particular case of . #runLaTeXM = runIdentity . runLaTeXTA particular case of . %execLaTeXM = runIdentity . execLaTeXT Running a  computation returns the final $ value.!This is the usual way to run the  monad and obtain a $ value. "execLaTeXT = liftM snd . runLaTeXTIf  anExampley is defined as above (at the top of this module documentation), use the following to get the LaTeX value generated out. <myLaTeX :: Monad m => m LaTeX myLaTeX = execLaTeXT anExample Version of : with possible warning messages. This function applies d to the $ output.This function run a 7 computation, lifting the result again in the monad. Executes a + computation, embedding it again in the  monad. (extractLaTeX_ = liftM snd . extractLaTeXLThis function was heavily used in the past by HaTeX-meta to generate those .Monad3 modules. The current purpose is to implement the k instance of , which is closely related.With  you can append $ values to the state of the  monad.Lift a function over $4 values to a function acting over the state of a  computation.Lift an operator over $7 values to an operator acting over the state of two  computations.3Note: The returned value is the one returned by the 'second argument of the lifted operator.7A helper function for building monad transformers, e.g. ginstance MonadReader r m => MonadReader r (LaTeXT m) where ask = lift ask local = mapLaTeXT . localOThis declaration could be included here, but it would add a dependency on mtl. Just like } , but with  output.  rendertexM = textell . rendertex SafeDRAMSFonts package. Example: usepackage [] amsfontsaThis font is useful for representing sets like R (real numbers) or Z (integers). For instance: B"The set of real numbers are represented by " <> mathbb "R" <> "."Or in monadic form: B"The set of real numbers are represented by " >> mathbb "R" >> "."#Note the use of overloaded strings. Fraktur font. Number sets SafeDRAMSSymb package. Example: usepackage [] amssymb' symbol.SafeDRDifferent styles for s.AMSThm package. Example: usepackage [] amsthm Create a new b environment type. Arguments are environment name (this will be the argument when using the # function) and the displayed title. For example: newtheorem "prop" "Proposition" theorem "prop" "This is it."Use a environment created by .The X environment. The first optional argument is used to put a custom title to the proof. Insert the QED symbol.:Set the theorem style. Call this function in the preamble. SafeDR3A  of a presentation. See /*. A preview of each one is given below. $docfiles/beamers/previewAnnArbor.png #docfiles/beamers/previewAntibes.png "docfiles/beamers/previewBergen.png $docfiles/beamers/previewBerkeley.png "docfiles/beamers/previewBerlin.png $docfiles/beamers/previewBoadilla.png 'docfiles/beamers/previewCambridgeUS.png &docfiles/beamers/previewCopenhagen.png %docfiles/beamers/previewDarmstadt.png #docfiles/beamers/previewDresden.png %docfiles/beamers/previewFrankfurt.png &docfiles/beamers/previewGoettingen.png $docfiles/beamers/previewHannover.png #docfiles/beamers/previewIlmenau.png 'docfiles/beamers/previewJuanLesPins.png #docfiles/beamers/previewLuebeck.png "docfiles/beamers/previewMadrid.png "docfiles/beamers/previewMalmoe.png #docfiles/beamers/previewMarburg.png  'docfiles/beamers/previewMontpellier.png  $docfiles/beamers/previewPaloAlto.png  &docfiles/beamers/previewPittsburgh.png  %docfiles/beamers/previewRochester.png  %docfiles/beamers/previewSingapore.png "docfiles/beamers/previewSzeged.png "docfiles/beamers/previewWarsaw.pngxPercentage of opaqueness for the specified overlays. In 'Opaqueness overlaySpecification percentageOfOpaqueness' the overlaySpecification; specifies on which slides covered text should have which percentageOfOpaqueness-. Unlike other overlay specifications, this overlaySpecification& is a relative overlay specification.Options for covering text+Causes covered text to completely disappear5Causes covered text to be typset in a transparent wayMakes all covered text quite transparent, but in a dynamic way. The longer it will take till the text is uncovered, the stronger the transparency.Has the same effect as dynamic, but the effect is stronger. | StillCovered [Opaqueness] -- ^ Specifies how to render covered items -- that have not yet been uncovered. | AgainCovered [Opaqueness] -- ^ Specifies how to render covered items -- that have once more been covered, that -- is, that had been shown before but are -- now covered again.$Specifications for beamer functions.The > document class. Importing a package is not required. Example: documentclass [] beamer ]A presentation is composed of a sequence of frames. Each frame is created with this function.!4Set the title of the current frame. Use it within a  ."7Set the subtitle of the current frame. Use it within a  .#+Highlight in red a piece of text. With the Bs, you can specify the slides where the text will be highlighted.$Introduces a pause in a slide.%% works like itemI, but allows you to specify the slides where the item will be displayed.&With &, show a piece of text only in the slides you want. On other slides, the text still occupies space and it is still typeset, but it is not shown or only shown as if transparent.'With ' the text is inserted only into the specified slides. For other slides, the text is simply thrown away (it occupies no space).(The behavior of the (3 command depends on whether the optional argument text is given or not. If a text argument is present, (% (without a 'modifier') is mapped to &.)The )! command does almost the same as &. The only difference is that if the text is not shown, it is never shown in a transparent way, but rather it is not shown at all. Thus for this command the transparency settings have no effect.*The * is the opposite of ).++ works like colorD, but allows you to specify the slides where the text will be bold., Inside the , environment, use (3 commands to specify different things that should be shown for this environment on different slides. Everything within the environment will be placed in a rectangular area of the specified width. The height and depth of the area are chosen large enough to acoommodate the largest contents of this area.-A -& will be displayed surrounding a text.. The command .U allows you to specify in a quite general way how a covered item should be rendered./Set the 1 employed in your presentation (in the preamble).>      !"#$%&'()*+,-Title for the blockContent of the blockResult./012;      !"#$%&'()*+,-./; !"#$-%&'()*+,./           !"#$%&'()*+,-./012SafeDR8Other predefined colors.t?Specify your own color using one of the different color models.ukEach parameter determines the proportion of red, green and blue, with a value within the [0,1] interval.w'Grayscale, from 0 (black) to 1 (white).z Basic colors.Color specification.The  package. usepackage [] pcolor_To convert all colour commands to black and white, for previewers that cannot handle colour.=Set the background color for the current and following pages.Switch to a new text color.1Set the text of its argument in the given colour.>Put its argument in a box with the given colour as background.Application of fcolorbox cs1 cs2 l put l in a framed box with cs1 as frame color and cs2 as background color.TSwitch to the colour that was active at the end of the preamble. Thus, placing a Q command in the preamble can change the standard colour of the whole document.^89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~[89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~[z{|}~89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxy8;9:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~SafeDR;Different types of actions that can be performed with a . See  for more information.A Tik Z script.Parameters to use in a 8 to change how things are rendered within that scope.Angle is in degrees.Color models accepted by TikZ.Type for TikZ paths. Every ! has two fundamental points: the starting point and the  last point). The starting point is set using the  constructor. The last point then is modified by the other constructors. Below a explanation of each one of them. Note that both starting point and last point may coincide. You can use the functions  and ( to calculate them. After creating a , use  to do something useful with it.Let  y = Start p. Operation:" Set the starting point of a path. Last point: The last point of y is p.Let  y = Cycle x. Operation:1 Close a path with a line from the last point of x to the starting point of x. Last point: The last point of y is the starting point of x.Let  y = Line x p. Operation:0 Extend the current path from the last point of x in a straight line to p. Last point: The last point of y is p.Let y = Rectangle x p. Operation:- Define a rectangle using the last point of x as one corner and p as the another corner. Last point: The last point of y is p.Let y = Circle x r. Operation:@ Define a circle with center at the last point of x and radius r. Last point: The last point of y# is the same as the last point of x.Let y = Ellipse x r1 r2. Operation:4 Define a ellipse with center at the last point of x, width the double of r1 and height the double of r2. Last point: The last point of y# is the same as the last point of x.Let  y = Node x l. Operation:* Set a text centered at the last point of x. Last point: The last point of y# is the same as the last point of x. A point in TikZ. Point using 3s for coordinantes.#Point using numbers as coordinates.Three-dimensional point.'Makes a point relative to the previous."Calculate the starting point of a .Calculate the last point of a . Alias of .Just an empty script.%A path can be used in different ways.: Just draw the path. : Fill the area inside the path.$: Clean everything outside the path.!: Shade the area inside the path.6It is possible to stack different effects in the list.Example of usage: 5path [Draw] $ Start (pointAtXY 0 0) ->- pointAtXY 1 15Most common usages are exported as functions. See , , , ,  and .Applies a scope to a Tik Z script.Sequence two Tik Z scripts.Equivalent to  path [Draw].Equivalent to  path [Fill].Equivalent to  path [Clip].Equivalent to  path [Shade].Equivalent to path [Fill,Draw].Equivalent to path [Shade,Draw].A:z{|}~:z{|}~#SafeDRUse a  path builder to construct a value of type  . Use  for this purpose.-Line from the current point to the given one.^Rectangle with the current point as one cornder and the given point as the opposite corner.;Circle with the given radius centered at the current point.^Ellipse with width and height described by the arguments and centered at the current point.#Text centered at the current point.Build a path using a starting point and a .Half width of the ellipse.Half height of the ellipse.  SafeDRIInclude Graphics Option. These options can be passed as arguments to the  function.2Specify the preferred width of the imported image.3Specify the preferred height of the imported image.When ,, it will scale the image according to both  and 4 , but will not distort the image, so that neither  nor  are exceeded.-Scales the image by the desired scale factor."Rotate the image by given degrees.wThis option will crop the imported image. Arguments are from-left , from-bottom, from-right and from-top respectively.For the  option to work, you must set  to .yIf the image file is a pdf file with multiple pages, this parameter allows you to use a different page than the first.The  package. usepackage [] graphicxPackage option of the  package.Package option of the  package.Package option of the  package.!Include an image in the document.1Rotate the content by the given angle in degrees.zScale the content by the given factor. If only the horizontal scale is supplied, the vertical scaling will be the same.!Reflect horizontally the content.1Resize the content to match the given dimensions.Options Image fileHorizontal scale.Vertical scale.Horizontal size.Vertical size. SafeDRInputenc package. Example: usepackage [utf8] inputencUTF-8 encoding.Latin-1 encoding.SafeDRThe  package. Example: usepackage [] prelsizeChange font size by i steps. A step is a number of  '\magsteps'1 to change size; from this are defined commands  '\larger',  '\smaller',  '\textlarger', etc.!Increase font size by (optional) i steps (default 1).Reduce font size by i steps (default 1).!Change font size by scale factor f.!Text size enlarged by (optional) i steps. Text size reduced by (optional) i steps.Text size scaled by factor f.SafeDR Import the u package to use the functions exported by this module. For example, adding this line to your document preamble: usepackage [] tikzTransform a TikZ script to a $ block.Ez{|}~SafeDRA figure in the plane.Line along a list of points. ULine along a list of points, but the last point will be joined with the first one. Same as  /, but the inner side will be filled with color. iRectangle with top-right corner at the given point and width and height given by the other parameters. Same as  , but filled with color. 9Circle centered at the given point with the given radius.As in  (, but it will be filled with some color.[Ellipse centered at the given point with width and height given by the other parameters.Same as , but filled with some color. Insert some $ code, centered at the given F. The text should not be very complex to fit nicely in the picture.Color for the given .Line width for the given .Scaling of the given  by a factor. Rotate a  by a given angle (in radians).'A figure composed by a list of figures.A point in the plane. Translate a  to a  script.The figure of a path. A path (in this context) means a function from an interval to the plane. The image of such a function is what this function returns as a H. An additional argument is needed to set the precision of the curve.}The actual implementation builds a spline of degree one joining different points of the image. Given that the interval is (a,b)F and the precision argument is , the points in the spline will be f(a), f(a+), f(a+2), and so on, until reaching f(b)F. The smaller is , the closer is the figure to the original image.-Here is an example with a logarithmic spiral. docfiles/tikz/spiral.png spiral :: Figure spiral = LineWidth (Pt 2) $ pathImage 0.01 (0,4) $ \t -> ( a * exp t * cos (b*t) , a * exp t * sin (b*t) ) where a = 0.1 ; b = 4     Precision argument, . Interval, (a,b).Path function, f.Output figure.#z{|}~     #     z{|}~      SafeDR  NoneDRJLaTeX available paper types.-#A class option to be passed to the b function.=Insert a raw piece of !. This functions doesn't escape LaTeXA reserved characters, it insert the text just as it is received.Warning: This function is unsafeL, in the sense that it does not check that the input text is a valid LaTeX blockF. Make sure any braces, commands or environments are properly closed.>Calling > c l1 l2 puts c between l1 and l2 and appends them. between c l1 l2 = l1 <> c <> l2?Create a comment.@CThis 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 <>) . commentSince 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.A-Generate the title. It normally contains the B name of your document, the D(s) and C.BSet the title of your document.CSet a date for your document.D"Set the author(s) of the document.EFSet either an institute or an organization for the document. It does not work for a document of the c class.GdImport a package. First argument is a list of options for the package named in the second argument.HThe LaTeX logo.IStart a new paragraphJStart a new line.L)Start a new chapter with the given title.M'Start a new section with a given title.NStart a new subsection.OStart a new subsubsection.PStart a paragraph.Q3Start a subparagraph (minimal level of sectioning).RACreate the table of contents, automatically generated from your Ms, Ns, and related functions.TAn item of a list (see U or V8). The optional argument sets the design of the item.U"Environment of ordered lists. Use T to start each list item.V$Environment of unordered lists. Use T to start each list item.XLeft-justify the argument.YRight-justify the argument.ZCenter-justify the argument.]Minipage environment.^Figure environment._Abstract section.b0Set the document class. Needed in all documents.{<Typesets displayed formulae left-aligned instead of centred.|LPlaces the numbering of formulae on the left hand side instead of the right.=Changes the layout of the document to print in landscape mode4Makes chapters begin either only on right hand pages0Makes chapters begin on the next page available.The / environment contains the body of the document.Arabic numerals.Lowercase roman numerals.Uppercase roman numerals.Lowercase letters.Uppercase letters.Used in conjunction with 1 for setting both the left and the right heading.Used in conjunction with  for setting the right heading.Start a new line. In a , it starts a new row, so use J instead.$Render the date at compilation time.Render the current page. TeX logo. LaTeX logo.Horizontal dots.Vertical dots.Diagonal dots.Quotation marks.(Fill out all available horizontal space.&Fill out all available vertical space. The point of  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 B, which LaTeX implements as an ordinary environment, its command  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 monospaced font.)Set the given argument to bold font face.,Set the given argument to small caps format.The W environment can be used to typeset tables with optional horizontal and vertical lines.Like  but in math mode by defaultColumn separator.Horizontal line.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 r 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 s and s: fdata 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  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: JmatrixTabular (fmap textbf ["x","y","z"]) $ fromList 3 3 [ (1 :: Int)..](This code generates the following table: docfiles/others/table.pngFor more examples see the file Examples/tables.hs), included in the source distribution.DFor more info about how to generate and manipulate matrices, see  Data.Matrix. cline i j6 writes a partial horizontal line beginning in column i and ending in column j.Produce a simple black box.Print the HaTeX logo.Print the HaTeX 3 logo.9Print the HaTeX logo, beside the complete version number./Import an external file and insert its content as it is. Similar to , but forces a page break.<Note: the file you are including cannot include other files. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]Optional positionWidthMinipage content^Optional positionFigure content_`ab Class options Class namecdefghijklmnopqrstuvwxyz{|}~cThis optional parameter can be used to specify the vertical position of the table. Defaulted to .2Table specification of columns and vertical lines.Table content. See , ,  and .Resulting table syntax.cThis optional parameter can be used to specify the vertical position of the table. Defaulted to .2Table specification of columns and vertical lines.Table content. See , ,  and .Resulting table syntax.!(Non-empty) List of column titlesMatrix of data'Data organized in a tabular environmentOptional lifting.Width.Height. !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~=>?@BDCEFbGcdfegh-./0123456789:;<az}~{| !"#$%&'()*+,ijklmnopqrstuvwxyAR_SKLMNOPQHIJUVTXYZ[\`W]^ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~!NoneDRP>TUVW9$3745689:;<vwxyz{|}~ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~$;<"NoneDRP>TUVW9$3745689:;<vwxyz{|}~ !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~NoneDR Options of the geometry package.0Geometry package. Use it to import it like this: usepackage [] geometry(In most cases, it is recommended to use  instead.1Apply the given geometry options to the document.4Import the geometry package with additional options.   NoneDRAMSMath package. Example: usepackage [] amsmath Inline mathematical expressions.DDisplayed mathematical expressions, i.e. in a seperate line / block./A reference to a numbered equation. Use with a 2 defined in the scope of the equation refered to.XPrevent an equation from being numbered, where the environment would by default do that.@A numbered mathematical equation (or otherwise math expression).The unnumbered variant of .#An array of aligned equations. Use g to specify the points that should horizontally match. Each equation is numbered, unless prevented by .The unnumbered variant of .?The cases environment allows the writing of piecewise functionstSurround a LaTeX math expression by parentheses whose height automatically matches the expression's. Translates to \left(...\right).Like *, but with square brackets. Equivalent to  "[""]".Like , but with curly brackets.Like 1, but with angle brackets #) ... #*. Equivalent to      . Use custom LaTeX expressions as auto-scaled delimiters to surround math. Suitable delimiters include |...| (absolute value), ...  (norm, $), # ...# (round-off Gauss brackets,   /  ) etc.. Left angle bracket, #). Right angle bracket, #*. Left floor, # . Right floor, # .Left ceiling, #.Right ceiling, # .<Double vertical line, used as delimiter for norms (  ... ). Superscript. Subscript.#Sub- and superscript, both stacked.Sine function symbol.Arcsine function symbol.Cosine function symbol.Arccosine function symbol.Tangent function symbol.Arctangent function symbol.Cotangent function symbol.Arccotangent function symbol. Hyperbolic sine function symbol."Hyperbolic cosine function symbol.#Hyperbolic tangent function symbol.%Hyperbolic cotangent function symbol. Secant function symbol.!Cosecant function symbol."Exponential function symbol.#Logarithm function symbol.$Natural logarithm symbol.%Root notation. Use tsqrt (Just n) x for the n th root of x . When 5 is supplied, the function will output a square root.&}Defines a new function symbol. Note that function symbols defined in this way will not be automatically translated by babel.'Sigma sumation symbol. Use (9 instead if you want to specify the limits of the sum.("Sigma sumation symbol with limits.)Pi product symbol. Use *5 if you want to specify the limits of the product.*Pi product symbol with limits.+Integral symbol. Use ,6 if you want to specify the limits of the integral.,+Integral symbol with limits of integration.- Partial-differentiation symbol ".FTotal-differentiation (or integration-variable) symbol d (non-italic!)/*Partial-differentiation of variable, e.g. "x.0GTotal-differentiation of variable, or integration over variable, e.g. dx.Negative form of an operator.15Plus-or-minus operator (). Also available as symbol .25Minus-or-plus operator ("). Also available as symbol .3Centered-dot operator (").4&"x-cross" multiplication operator ().5Division operator.6Fraction operator.7Like 6D but smaller (uses subscript size for the numerator and denominator.8Asterisk operator (*).  infixl 7 *:9Star operator (&).:Ring operator (").;Bullet operator (").<Equal.  infixr 4 =:=Not equal ("`).  infixr 4 /=:>Greater.?Greater or equal ("e).@Lesser.ALesser or equal ("d).BMuch less ("j).CMuch greater ("k).DProportional-to (").E0Perpendicular ('). This is the infix version of .F Parallel ( ).G(Identical / defined-as / equivalent ("a).HElement-of (").IMirrored element-of (" ).JNot element of (" ).KSubset-of (").LSuperset-of (").MSet intersection (")).NSet union ("*).OSet minus (").PAngle pointing downwards ("().QAngle pointing upwards ("').RCircled plus operator (").SCircled minus operator (").T!Circled multiplication cross (").UCircled slash (").VCircled dot operator (").W!Add a hat accent above a symbol. X"Add a tilde accent above a symbol.Y Add a bar accent above a symbol.Z)Add a vector arrow accent above a symbol.[%Add a wide hat accent above a symbol.\'Add a wide tilde accent above a symbol.]@Add a dot accent above a symbol, as used to denote a derivative.^GAdd a dot accent above a symbol, as used to denote a second derivative._MAdd a triple dot accent above a symbol, as used to denote a third derivative.`&Add a wide line accent above a symbol.a symbol.b symbol.c symbol.d  symbol.e symbol.f  symbol.g symbol.h symbol.i symbol.j symbol.k symbol.l symbol.m  symbol.n symbol.o symbol.p symbol.q  symbol.r symbol.s symbol.t symbol.u  symbol.v symbol.w symbol.x  symbol.y symbol.z symbol.{ symbol.| symbol.}  symbol.~ symbol. symbol.  symbol. symbol. symbol.  symbol. symbol. symbol.  symbol. symbol.  symbol.2Plus-or-minus symbol (). Also available as infix 1.Minus-or-plus symbol (").A right-arrow, !.*A right-arrow for function definitions, !.An implication arrow, =!.For all symbol, ".Exists symbol, ".Dagger symbol, .Double dagger symbol, !.Infinity symbol.vDotless letter i. Strictly speaking this is not a part of the AMSMath package, but it is defined here for convenience.vDotless letter j. Strictly speaking this is not a part of the AMSMath package, but it is defined here for convenience.+Bottom symbol '. For the infix version see E.Default math symbol font. Bold face.Roman, i.e. not-italic math.9Escape from math mode, into a normal-text box. Unlike R, this won't squash spaces, i.e. you can write actual sentences. You can embed  again within such a box.Calligraphic math symbols.Sans-serif math.Typewriter font.%Italic math. Uses the same glyphs as r, but with spacings intended for multi-character symbols rather than juxtaposition of single-character symbols."LaTeX rendering of a matrix using pmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing ) is centered. ( M )"LaTeX rendering of a matrix using bmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing ) is centered. [ M ]"LaTeX rendering of a matrix using Bmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing ) is centered. { M }"LaTeX rendering of a matrix using vmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing ) is centered. | M |"LaTeX rendering of a matrix using Vmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing ) is centered. || M ||3quad space equal to the current font size (= 18 mu)qquad twice of quad (= 36 mu) &, space equal to 3/18 of quad (= 3 mu)&: space equal to 4/18 of quad (= 4 mu)&: space equal to 5/18 of quad (= 5 mu)(! space equal to -3/18 of quad (= -3 mu); (space after backslash) equivalent of space in normal textInstance defined in Text.LaTeX.Packages.AMSMath.Instance defined in Text.LaTeX.Packages.AMSMath.Instance defined in Text.LaTeX.Packages.AMSMath.Instance defined in Text.LaTeX.Packages.AMSMath.Instance defined in Text.LaTeX.Packages.AMSMath.Instance defined in Text.LaTeX.Packages.AMSMath.Undefined methods: ,  and %. This instance is defined in the Text.LaTeX.Packages.AMSMath module.Division uses the LaTeX 6- command. This instance is defined in the Text.LaTeX.Packages.AMSMath module.Careful! Method @ is undefined. Don't use it! This instance is defined in the Text.LaTeX.Packages.AMSMath module.The ,  and  methods use custom &Xs and will not be automatically translated by babel. This instance is defined in the Text.LaTeX.Packages.AMSMath module.Division uses the LaTeX 6- command. This instance is defined in the Text.LaTeX.Packages.AMSMath module.The  method uses a custom &W and will not be automatically translated by babel. This instance is defined in the Text.LaTeX.Packages.AMSMath module.      !"#$%&'(Expression below the sigma.Expression above the sigma.)*Expression below the pi.Expression above the pi.+,Lower limit of integration.Upper limit of integration.-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=@A>?BCGDFEHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~162687<4=4NoneDR-Language configuration. You may use one with . Languages. Bulgarian.Brazilian Portuguese.Canadian French.Czech.Dutch.English.Finnish.Parisian French.French.French. Old German. New German. Icelandic.Italian. Hungarian. Portuguese.Russian.Spanish. Ukranian.ZBabel package. When writing in a single language, the simplest way of using it is with .KIn the preamble, use the following (if your language of choice is Spanish): uselanguage Spanish0To see a list of available languages, check the  type. Import the  package using a given . )uselanguage l = usepackage [texy l] babel;If you are using more than one language, consider to use . Import the l package using a given language configuration, featuring a main language and some others. For example: +uselanguageconf $ LangConf English [German]CThis will use English as main language, and German as secondary.Switch to a given .Use a  locally. The function  takes two arguments; the second argument is a phrase to be typeset according to the rules of the language named in its first argument.  NoneDRFont encodings.The fontenc* package. It is recommended to use the  function to import it.qIn the preamble, select encodings to use in your document. The last one will be the default encoding. Example: useencoding [T1]It imports the fontenc package. In fact: 2useencoding xs = usepackage (fmap texy xs) fontencNoneDR)Options to use when generating a QR code.QWhether to include 4 modules of whitespace around the code. False is the default.Whether, if the code encodes a link, it should be hyperlinked in the PDF document. The default is true. Links will only be generated when the document uses the hyperref package.YThe desired degree of error-correction redundancy to include in the code. The default is .LThe degree of error-correction redundancy to include in the generated code.Error recovery up to 7%.Error recovery up to 15%.Error recovery up to 25%.Error recovery up to 30%..qrcode package. Use it to import it like this: usepackage [] qrcode'The default QR code generation options.`This package option sets the qrcode package to generate draft-quality placeholders for QR codes.fThis package option (which is the default) sets the qrcode package to generate print-quality QR codes.7Generates a QR code with specified options and content.CThis uses the qrcode command from the package, but the identifier  is already in use as the . NoneDRThe  package.Given a function to LaTeX values, you can create a LaTeXS tree from a Haskell tree. The function specifies how to render the node values.This function works as  , but use w as rendering function.Instance defined in Text.LaTeX.Packages.Trees.Qtree.NoneDR 7Header and footer settings of a LaTeX document. Use P to apply these settings in your document. A default value is provided by ., which you can modify using record syntax. mySettings :: HdrSettings mySettings = defaultHdrSettings { centerHeader = "Amazing header" , headRuleWidth = Pt 2 }1The fancyhdr package. Please, consider to use v instead of importing the package manually. If you really want to do it manually, use the functions from the  raw interface exposed below.#Default header and footer settings.&It leaves everything empty but the  field, which is filled with .#Also, it sets to 0.4 points the  field.Apply custom header and footer settings to a LaTeX document. It takes care of package importing and page style settings, so using this function is enough to get the settings applied. Do not import the % package again. To be used in the preamble.Page style of the  package.Set the left header.Set the center header. Set the right header. Set the left footer. Set the center footer. Set the right footer. Set the  headrulewidth attribute.Set the  footrulewidth attribute.                      NoneDR9Specification for how pages of a PDF should be displayed.1Displays a single page; advancing flips the page.1Displays a single page; advancing flips the page.EDisplays the document in two columns, odd-numbered pages to the left.FDisplays the document in two columns, odd-numbered pages to the right.CDisplays two pages, odd-numbered pages to the left (since PDF 1.5).DDisplays two pages, odd-numbered pages to the right (since PDF 1.5).The  package. usepackage [] hyperrefReference to an .  Write an  hyperlinked.! Write an  without creating a hyperlink."Establish a base .#hyperimage imgURL t,: The link to the image referenced by the imgURL is inserted, using t as the anchor.$$This is a replacement for the usual B command that places a contextual label in front of the reference.% Similar to $_, but inserts text corresponding to the section name. Note that this command comes from the nameref< package, but it's automatically included when importing .*Creates a single-parameter package option.&HThis package option selects the pdfTeX backend for the Hyperref package.'>This package option sets the document information Title field.(?This package option sets the document information Author field.)@This package option sets the document information Subject field.*@This package option sets the document information Creator field.+AThis package option sets the document information Producer field.,AThis package option sets the document information Keywords field.-EThis package option sets the document information Trapped entry. An $ value means, the entry is not set. .DThis package option determines on which page the PDF file is opened./1This package option sets the layout of PDF pages.0> = .$ !"#$%&'()*+,-./012 !"#$%&'()*+,-./ !"#$%&'()*+,-./ !"#$%&'()*+,-./012#$%#$&#$'#$(#)*#+,#-./0123423523623723823923:23723;2<=2<>2<?2<@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                     !"#$%&'()*+,-./0123456789:;<=>?@@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~F      !"#$%&'()*+,-./01234567C89:;<=>? @ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./01234W56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWX#$Y#$Z[\]^_#`abcdefghijklmnopqr#`s#tuvwxvwy#z{#z|#z}#z~"e  #/vw            vwvw#$####9%HaTeX-3.17.2.0-FOYps31FYCuAVUTNI4Zi94Text.LaTeX.Base.ClassText.LaTeX.Packages.ColorText.LaTeX.Base.WriterText.LaTeX.Base.SyntaxText.LaTeX.Base.ParserText.LaTeX.Base.RenderText.LaTeX.Packages.TreesText.LaTeX.Base.WarningsText.LaTeX.Base.PrettyText.LaTeX.Base.TypesText.LaTeX.Base.TexyText.LaTeX.Packages.AMSFontsText.LaTeX.Packages.AMSSymbText.LaTeX.Packages.AMSThmText.LaTeX.Packages.BeamerText.LaTeX.Packages.TikZ.Syntax$Text.LaTeX.Packages.TikZ.PathBuilderText.LaTeX.Packages.GraphicxText.LaTeX.Packages.InputencText.LaTeX.Packages.RelsizeText.LaTeX.Packages.TikZText.LaTeX.Packages.TikZ.SimpleText.LaTeX.Base.CommandsText.LaTeX.Packages.GeometryText.LaTeX.Packages.AMSMathText.LaTeX.Packages.BabelText.LaTeX.Packages.FontencText.LaTeX.Packages.QRCodeText.LaTeX.Packages.Trees.QtreeText.LaTeX.Packages.FancyhdrText.LaTeX.Packages.Hyperref Paths_HaTeXText.LaTeX.Base Text.LaTeXbaseGHC.BasememptymappendmconcatMonoidGHC.WordWord8Control.Monad.IO.ClassliftIO Data.Monoid<>transformers-0.5.2.0Control.Monad.Trans.Classlift$parsec-3.1.11-37j7M1YEHqtEooY7BpJdriText.Parsec.Error errorMessageserrorPos messageStringMessageExpectUnExpect SysUnExpect ParseErrorText.Parsec.Pos sourceColumn sourceLine sourceName SourcePos#text-1.2.2.1-9Yh8rJoh8fO2JMLWffT3QsData.Text.InternalTextTreeLeafNode$fTraversableTree$fFoldableTree $fFunctorTreeTeXArgFixArgOptArgMOptArgSymArgMSymArgParArgMParArgLaTeXTeXRawTeXCommTeXCommSTeXEnvTeXMath TeXLineBreak TeXBraces TeXCommentTeXSeqTeXEmptyMathType ParenthesesSquareDollarMeasurePtMmCmInExEm CustomMeasure protectString protectTextlookForCommand matchCommand lookForEnvmatchEnvtexmaptexmapMgetBody getPreamble$fArbitraryTeXArg$fArbitraryLaTeX$fArbitraryMeasure$fIsStringLaTeX$fSemigroupLaTeX $fMonoidLaTeX$fDataMathType $fEqMathType$fGenericMathType$fShowMathType $fDataTeXArg $fEqTeXArg$fGenericTeXArg $fShowTeXArg $fDataLaTeX $fEqLaTeX$fGenericLaTeX $fShowLaTeX $fDataMeasure $fEqMeasure$fGenericMeasure $fShowMeasureTeXCheckcheckWarning UnusedLabelUndefinedLabelNoClassSelectedNoDocumentInserted CustomWarningcheckFromFunctioncheckAll checkClasscheckDoc checkLabels$fMonoidTeXCheck $fEqWarning $fShowWarningLaTeXC liftListL fromLaTeXliftLliftL2liftL3comm0comm1commSbraces $fLaTeXCLaTeXRenderrender renderAppend renderChars renderCommas renderFile readFileTex rendertex showFloat $fRender[] $fRenderBool $fRenderWord8$fRenderDouble $fRenderFloat$fRenderInteger $fRenderInt$fRenderTeXArg $fRenderLaTeX$fRenderMeasure $fRenderTextParser ParserConfverbatimEnvironmentsdefaultParserConf parseLaTeXparseLaTeXWithparseLaTeXFileparseLaTeXFileWith latexParserlatexBlockParserdocLaTeX prettyLaTeX TableSpec LeftColumn CenterColumn RightColumn ParColumnTop ParColumnMid ParColumnBot VerticalLine DVerticalLine SeparatorHPosHLeftHCenterHRightPosBottomCenterTopLabel PageStyle PackageName ClassName createLabel labelName$fRenderTableSpec $fRenderHPos $fRenderPos$fIsStringLabel $fRenderLabel $fEqLabel $fShowLabel $fShowPos $fShowHPos$fShowTableSpecTexytexy $fTexyMeasure $fTexyBool $fTexyFixed $fTexyChar $fTexyDouble $fTexyFloat $fTexyInteger $fTexyInt $fTexyText $fTexyLaTeXLaTeXMLaTeXT_LaTeXT runLaTeXM execLaTeXM runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp mapLaTeXT rendertexM$fMonoidLaTeXT$fIsStringLaTeXT$fLaTeXCLaTeXT$fMonadIOLaTeXT $fMonadLaTeXT$fMonadTransLaTeXT$fApplicativeLaTeXT$fFunctorLaTeXTamsfontsmathbbmathfraknaturalsintegers rationalsreals complexes trealPart timagPartamssymb checkmark TheoremStylePlain DefinitionRemarkCustomThmStyleamsthm newtheoremtheoremproofqedhere theoremstyle$fRenderTheoremStyle$fShowTheoremStyleThemeAnnArborAntibesBergenBerkeleyBerlinBoadilla CambridgeUS Copenhagen DarmstadtDresden Frankfurt GoettingenHannoverIlmenau JuanLesPinsLuebeckMadridMalmoeMarburg MontpellierPaloAlto Pittsburgh Rochester SingaporeSzegedWarsawBoxesDefault CustomTheme Opaqueness CoverOption Invisible TransparentDynamic HighlyDynamic OverlaySpecOneSlide FromSlideToSlide FromToSlidebeamerframe frametitle framesubtitlealertpause beameritemuncoveronlyonslidevisible invisible beamercolor overprintblocksetbeamercoveredusetheme $fRenderTheme$fRenderCoverOption$fRenderOverlaySpec$fShowOverlaySpec$fShowCoverOption$fShowOpaqueness $fEqTheme $fShowTheme ColorNameApricot Aquamarine Bittersweet BlueGreen BlueVioletBrickRedBrown BurntOrange CadetBlue CarnationPinkCeruleanCornflowerBlue Dandelion DarkOrchidEmerald ForestGreenFuchsia GoldenrodGray GreenYellow JungleGreenLavender LimeGreenMahoganyMaroonMelon MidnightBlueMulberryNavyBlue OliveGreenOrange OrangeRedOrchidPeach Periwinkle PineGreenPlum ProcessBluePurple RawSienna RedOrange RedViolet Rhodamine RoyalBlue RubineRedSalmonSeaGreenSepiaSkyBlue SpringGreenTanTealBlueThistle TurquoiseViolet VioletRedWildStrawberry YellowGreen YellowOrange ColorModelRGBRGB255GrayMHTMLCMYKColorRedGreenBlueYellowCyanMagentaBlackWhiteColSpecDefColorModColor DvipsColorpcolor monochrome dvipsnames nodvipsnamesusenames pagecolorcolor textcolorcolorbox fcolorbox normalcolor$fRenderColSpec$fRenderColorName$fRenderColorModel $fRenderColor $fShowColor$fShowColorModel$fShowColorName $fShowColSpec ActionTypeDrawFillClipShadeTikZ ParameterTWidthTColorTScaleTRotate TikZColor BasicColorRGBColorStepDimStepXYStep PointStep GridOptionGridStepTPathStartCycleLine RectangleCircleEllipseGridTPointpointAt pointAtXY pointAtXYZrelPoint relPoint_ startingPoint lastPoint->- emptytikzpathscope->>drawfillclipshadefilldraw shadedraw$fRenderActionType $fRenderTikZ$fRenderParameter$fRenderTikZColor $fRenderStep$fRenderGridOption $fRenderTPath$fRenderTPoint $fShowTPoint $fShowStep$fShowGridOption $fShowTPath$fShowTikZColor$fShowParameter$fShowActionType $fShowTikZ PathBuilderpcycleline rectanglecircleellipsegridnodebpath$fMonadPathBuilder$fApplicativePathBuilder$fFunctorPathBuilderIGOptionIGWidthIGHeightKeepAspectRatioIGScaleIGAngleIGTrimIGClipIGPagegraphicxdvipsdvipdfmpdftexincludegraphics rotateboxscalebox reflectbox resizebox$fRenderIGOption$fShowIGOptioninputencutf8latin1prelsizerelsizelargersmallerrelscale textlarger textsmaller textscaletikz tikzpictureFigurePolygon PolygonFilledRectangleFilled CircleFilled EllipseFilledColored LineWidthScaleRotateFiguresPoint figuretikz pathImageversion PaperTypeA0A1A2A3A4A5A6B0B1B2B3B4B5B6Letter ExecutiveLegal ClassOptionDraft TitlePage NoTitlePage OneColumn TwoColumnOneSideTwoSide Landscape OpenRightOpenAnyFleqnLeqnoFontSizePaper CustomOptionrawbetweencomment%: maketitletitledateauthor institutethanks usepackagelatexparnewlinepartchaptersection subsection subsubsection paragraph subparagraphtableofcontentsappendixitem enumerateitemize description flushleft flushrightcenterquoteverseminipagefigureabstractcite customopt documentclassarticleprocminimalreportbookslidesa0papera1papera2papera3papera4papera5papera6paperb0paperb1paperb2paperb3paperb4paperb5paperb6paper letterpaperexecutivepaper legalpaperdraftfleqnleqno titlepage notitlepage onecolumn twocolumnonesidetwoside landscape openrightopenanydocument pagenumberingarabicromanroman_alphalph_ pagestyle thispagestyleplainheadingsempty myheadingsmarkboth markrightlnbklnbk_hypcleardoublepage clearpagenewpage linebreak nolinebreak nopagebreak pagebreak hyphenationmboxfboxtodaythePagetexlaTeX2laTeXeldotsvdotsddotsqtsfootnote linespread baselineskipindentnoindenthspacehspace_stretchvspacehfillvfillprotect textwidth textheight linewidthverbatimverb underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipbigskiptabulararray&hline multicolumn matrixTabularclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_versioncaptionlabelrefpagerefinputinclude$fRenderPaperType$fIsStringClassOption$fRenderClassOption$fShowPaperType$fShowClassOptionGeometryOptionGHeightGWidthGPaper GCentered GPaperHeight GPaperWidth GLandscapegeometry applyGeometryimportGeometry$fRenderGeometryOption$fShowGeometryOptionamsmathmath mathDisplayeqrefnonumberequation equation_alignalign_cases autoParensautoSquareBrackets autoBracesautoAngleBrackets autoBracketslangleranglelfloorrfloorlceilrceildblPipe^:!:!^tsinarcsintcosarccosttanarctancotarccottsinhtcoshttanhcothseccsctexptloglntsqrt operatornametsum sumFromToprod prodFromTointegralintegralFromTopartialtotald partialOftotaldOf+--+cdottimesdiv_fractfrac*:starcircbullet=:/=:>:>=:<:<=:llggproptoperpparallelequivin_ninotinsubsetsupsetcapcupsetminusveewedgeoplusominusotimesoslashodothattildebarvecwidehat widetildedotddotdddotoverlinealphabetagammagammaudeltadeltauepsilon varepsilonzetaetathetavarthetathetauiotakappalambdalambdaumunuxixiupi_varpipiurhovarrhosigmavarsigmasigmautauupsilonupsilonuphivarphiphiuchipsipsiuomegaomegaupmmptomapstoimpliesforallexistsdaggerddaggerinftyimathjmathbot mathdefaultmathbfmathrmtextmathcalmathsfmathttmathitpmatrixbmatrixb2matrixvmatrixv2matrixquadqquad thinspacemedspace thickspacenegspacespace$fTexy[] $fTexyMatrix $fTexy(,,,) $fTexy(,,) $fTexy(,) $fTexyRatio$fFloatingLaTeXT$fFractionalLaTeXT $fNumLaTeXT$fFloatingLaTeX$fFractionalLaTeX $fNumLaTeXLangConfmainLang otherLangsLanguage Bulgarian BrazilianCanadienCzechDutchEnglishFinnishFrancaisFrenchFrenchBGermanNGerman IcelandicItalianMagyar PortugueseRussianSpanishUkranianbabel uselanguageuselanguageconfselectlanguage otherlanguageforeignlanguage$fTexyLanguage$fRenderLanguage$fShowLanguage$fShowLangConfFontEncT1OT1fontenc useencoding $fTexyFontEnc$fRenderFontEnc $fShowFontEnc CodeOptionsincludePaddinglink errorLevel ErrorLevelLowMediumQualityHighqrcodedefaultOptionsfinalqr$fEqErrorLevel$fOrdErrorLevel$fReadErrorLevel$fShowErrorLevel$fEqCodeOptions$fShowCodeOptionsqtreetree rendertree $fTexyTree HdrSettings leftHeader centerHeader rightHeader leftFooter centerFooter rightFooter headRuleWidth footRuleWidthfancyhdrdefaultHdrSettingsapplyHdrSettingsfancylheadcheadrheadlfootcfootrfootrenewheadrulewidthrenewfootrulewidth$fEqHdrSettings$fShowHdrSettings PdfPageLayout SinglePage TwoColumnLeftTwoColumnRight TwoPageLeft TwoPageRightURL HRefOptionPDFRemoteStartView PDFNewWindowHRefPagehyperref createURLhrefurl nolinkurl hyperbaseurl hyperimageautorefnamerefpdftitle pdfauthor pdfsubject pdfcreator pdfproducer pdfkeywords pdftrapped pdfstartpage pdfpagelayout $fIsStringURL $fRenderURL$fRenderHRefOption$fShowHRefOption $fShowURL$fEqPdfPageLayout$fOrdPdfPageLayout$fReadPdfPageLayout$fShowPdfPageLayoutStringMonad arbitraryRaw'QuickCheck-2.9.2-3a8nWdLsV8cEn9LdMoftRmTest.QuickCheck.Arbitrary Arbitrary arbitraryName Data.String fromString protectCharmatchCommandArg matchEnvArg arbitraryCharLabStLabWarn RefNoLabel LabelNoRefLabelRefBoolStTC classcheckdocchecklabWarnToWarninglabchecknewlabnewrefIsStringGHC.ShowShowghc-prim GHC.TypesCharBool Data.OldListunwordswordsunlineslinestext2 environmentanonymenvenvNameenvBody bodyBlockcommandcmdArgscmdArgspeciallbreakmeasureunitlbracerbracevertbracedolMath isSpecialendCmdspecialspeekCharatEndtakeTillfloating fractExponentdecimalsign/wl-pprint-extras-3.5.0.5-5i2ruOMl6PW6o9MqxMNrMgText.PrettyPrint.Free.InternalDoc docTeXArgData.Functor.IdentityIdentityControl.Monad.Trans.Writer.LazyWriterT unwrapLaTeXT PathActionScopeTikZSeqDimPointXYPointXYZPointRelPoint RelPoint_ renderPairPB pathBuilder PathStatePS currentPath applyToPathTrue castpointradiansToDegreescatchIObindirlibdirdatadir libexecdir sysconfdir getBinDir getLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameIntDoublesizecomm renderOptionNothingnotop GHC.FloatasinhatanhacoshGHC.Numsignum matrix2textoMatrixescapetree_ packageOption