Yr      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                                             ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~   !! ! ! ! ! !!!!!!!!!!!!!!!!!!! !!!"!#!$!%!&!'!(!)!*!+!,!-!.!/!0!1!2!3!4!5!6!7!8!9!:!;!<!=!>!?!@!A!B!C!D!E!F!G"H"I"J"K"L"M"N"O"P"Q"R"S#T#U$V$W$X$Y$Z$[$\$]$^$_$`$a$b$c$d$e$f$g$h%i%j%k%l%m%n&o&p&q&)'SafeFT:@rstuvwxSafe16FTn*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./$Measure units defined in LaTeX. Use 6 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.0CA point is 1/72.27 inch, that means about 0.0138 inch or 0.3515 mm.1 Millimeter.2 Centimeter.3Inch.4)The height of an "x" in the current font.5(The width of an "M" in the current font.6You can introduce a  expression as a measure.7&Escape LaTeX reserved characters in a y.8&Escape LaTeX reserved characters in a .9 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 9y, 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.= The function =Y looks for subexpressions that match a given condition and applies a function to them. /texmap c f = runIdentity . texmapM c (pure . f)> Version of =( where the function returns values in a z.?Extract the content of the document environment, if present.@Extract 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 8.}XGenerator for names of command and environments. We use only alphabetical characters.HMethod ~) escapes LaTeX reserved characters using 7.JMethod L is strict in both arguments (except in the case when the first argument is )).9Name of the command.LaTeX syntax tree.(List of arguments passed to the command.= Condition.-Function to apply when the condition matches.> Condition.-Function to apply when the condition matches.+!# "$%&'()*+,-./3012456789:;<=>?@+/0123456*+,-. !"#$%&'()78:9<;=>?@ !"#$%&'()*+,-./0123456SafeFT [This is the class of  code generators. It has  and  as superclasses.\9This 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.]Map a  value to its equivalent in any [ instance.^Lift a inner function of  values into any [ instance._ Variant of ^ with a two arguments function.` Variant of ^! with a three arguments function.aZA simple (without arguments) and handy command generator using the name of the command. &comm0 str = fromLaTeX $ TeXComm str []bwA 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]cwA two parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. Acomm2 str = liftL2 $ \l1 l2 -> TeXComm str [FixArg l1, FixArg l2]dyA three parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. Ocomm3 str = liftL2 $ \l1 l2 l3 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3]eLike a but using ">, i.e. no "{}" will be inserted to protect the command's end. commS = fromLaTeX . TeXCommSfA lifted version of the & constructor. braces = liftL TeXBraceshThis instance just sets liftListL = id.[\]^_`abcdefg[\]^_`abcdefg[\SafeFT" i+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 n.Consider also to use p to get iable values into  blocks.'If you want to make a type instance of i and you already have a , instance, you can use the default instance. render = fromString . showk2Render every element of a list and append results.lMRender every element of a list and append results, separated by the given .mJRender every element of a list and append results, separated by commas.nUse this function to render a  (or another one in the i$ class) value directly in a file.o:If you are going to insert the content of a file in your = data, use this function to ensure your encoding is correct.p If you can transform a value to , you can insert that  in your * code. That is what this function does. Warning: p+ does not escape LaTeX reserved characters. Use 8 to escape them.qOShow a signed floating number using standard decimal notation using 5 decimals.si instance for . It satisfies render True = "true" and render False = "false".|0This instance escapes LaTeX reserved characters.~yijklmnopq ijklmnpoqijSafeFT})This function transforms a value of type  to a +. You can then choose how to print this & value using the function from the Text.PrettyPrint.Free module.~Pretty print a 6 value. It produces a more human-friendly output than j.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 n/ unless you really need to read the LaTeX file.}~~}SafeFT 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.      SafeFT-Class of types that can be pretty-printed as  values. SafeFTType 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.User defined column. Requires array package.Can be used before a , , , ,  or a X specification. Inserts the code directly in front of the entry of the column. Requires array package.Can be used after a , , , ,  or a X specification. Inserts the code directly in front of the entry of the column. 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 y.#Package names are represented by a y.!Class names are represented by a y.Create a label from its name.Get the name of a label.#/3012456#/0123456 NoneFTRWLaTeX available paper types.#A class option to be passed to the  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 <> l2Create 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.?Append a blank comment. eol :: LaTeXC l => l eol = comment ""-Generate the title. It normally contains the  name of your document, the (s) and .Set the title of your document.Set a date for your document."Set the author(s) of the document.FSet either an institute or an organization for the document. It does not work for a document of the  class.dImport a package. First argument is a list of options for the package named in the second argument.The LaTeX logo.Start a new paragraph8Start a new line. It can be used only in paragraph mode.)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.3Start a subparagraph (minimal level of sectioning).ACreate the table of contents, automatically generated from your s, s, and related functions.An item of a list (see  or 8). The optional argument sets the design of the item."Environment of ordered lists. Use  to start each list item.$Environment of unordered lists. Use  to start each list item.Left-justify the argument.Right-justify the argument.Center-justify the argument.Minipage environment.*Figure environment. Use this for floating Text.LaTeX.Packages.Graphicx2 content out of the text block and giving it a (. The figure can be referred to with  from elsewhere in the document.+Table environment. Use this for floating a * out of the text block and giving it a $. The table can be referred to with .Abstract section.0Set 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 mode%4Makes chapters begin either only on right hand pages&0Makes 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.4Used in conjunction with 31 for setting both the left and the right heading.5Used in conjunction with 3 for setting the right heading.6Start a new line. The exactly meaning depends on the context where it is used. In normal running text when it forces a line break it is essentially a shorthand for  '\\newline'% (does not end horizontal mode or end the paragraph, it just inserts some glue and penalties at that point into the horizontal material so that when the paragraph does end a line break will occur at that point with the short line padded with white space). In alignment environments (like ), it starts a new row, so use  instead to start a new line.7Like 6, 77 introduces a line break, but preventing a page break.8Like 6, introduces a line break. But it has an argument that specifies how much extra vertical space is to be inserted before the next line. This can be a negative amount.9Like 8, 9T introduces a line break with an extra vertical space, but preventing a page break.>|Request to break the current line at the point of the command stretching the line so that it extends to the right margin. The number must be a number from 0 to 4. The higher the number, the more insistent the request is (0 means it will be easily ignored and 4 means do it anyway). When this line break option is used, LaTeX will try to produce the best line breaks possible.?Like >7, but prevents a like break instead of requesting one.E$Render the date at compilation time.FRender the current page.G TeX logo.H LaTeX logo.JHorizontal dots.KVertical dots.LDiagonal dots.MQuotation marks.Y6Add vertical white space, except at the end of a page.Z4Add vertical white space, even at the end of a page.[1Add extra vertical white space. In a sequence of [Y the length of the final white space is given by the maximum of the individual lengths.\(Fill out all available horizontal space.]&Fill out all available vertical space.^2Fill out all available horizontal space with dots._4Fill out all available horizontal space with a line.d The point of d 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.eInclude 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 dB, which LaTeX implements as an ordinary environment, its command e 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.j*Set the given argument to monospaced font.l)Set the given argument to bold font face.p,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.3 ends a row in array or tabular environments. The '\' command has different meanings in different contexts. It can end a line in normal text, or it can end an array or tabular line. It may be preferrable to use  and in the first case, and  in the second. resets the definition of '\' to .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.Optional positionWidthMinipage contentOptional position.*Figure content (should usually contain (,  and ).Optional position.Table content (assemble with 'tabular'/'matrixTabular',  and ). Class options Class namecThis 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 , 6,  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 , 6,  and .Resulting table syntax.!(Non-empty) List of column titlesMatrix of data'Data organized in a tabular environmentOptional lifting.Width.Height.      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~R  !"#$%&    ./012345'EFGHIJKL6789=;<>?A@VWYZ[\]^_X|}~STUabcdelnjhikmopqfgrstuvwxyz{()*+,-CDNOPQ`B:M SafeFTdS 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.No document inserted.8Custom warning for custom checkings. Use it as you want.Build a  from a function. Check with ,  and .?Check if a document class is specified for the document (using  documentclass). Check if the document environment is called in a .=Checking for unused labels or references tu undefined labels. SafeFTuThe  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  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 [ 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 p , but with  output.  rendertexM = textell . rendertex)NoneFTr,~y/301245678ijklmnopq      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~78*NoneFT,~y/301245678ijklmnopq      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ SafeFTAMSFonts 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   NoneFTAMSMath 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.GTotal-differentiation of variable, or integration over variable, e.g. dx.Negative form of an operator.5Plus-or-minus operator (). Also available as symbol ].5Minus-or-plus operator ("). Also available as symbol ^.Centered-dot operator (").&"x-cross" multiplication operator (). Division operator. Fraction operator. Like  D but smaller (uses subscript size for the numerator and denominator. Asterisk operator (*).  infixl 7 *: Star operator (&).Ring operator (").Bullet operator (").Equal.  infixr 4 =:Not equal ("`).  infixr 4 /=:Greater.Greater or equal ("e).Lesser.Lesser or equal ("d).Much less ("j).Much greater ("k).Proportional-to (").0Perpendicular ('). This is the infix version of i. Parallel ( ).(Identical / defined-as / equivalent ("a).Element-of (").Mirrored element-of (" ).Not element of (" ).Subset-of ("). Superset-of (").!Set intersection ("))."Set union ("*).#Set minus (").$Angle pointing downwards ("().%Angle pointing upwards ("').&Circled plus operator (").'Circled minus operator (").(!Circled multiplication cross (").)Circled slash (").*Circled dot operator (").+!Add a hat accent above a symbol. ,"Add a tilde accent above a symbol.- Add a bar accent above a symbol..)Add a vector arrow accent above a symbol./%Add a wide hat accent above a symbol.0'Add a wide tilde accent above a symbol.1@Add a dot accent above a symbol, as used to denote a derivative.2GAdd a dot accent above a symbol, as used to denote a second derivative.3MAdd a triple dot accent above a symbol, as used to denote a third derivative.4&Add a wide line accent above a symbol.5 symbol.6 symbol.7 symbol.8  symbol.9 symbol.:  symbol.; symbol.< symbol.= symbol.> symbol.? symbol.@ 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.]2Plus-or-minus symbol (). Also available as infix .^Minus-or-plus symbol (")._A right-arrow, !.`*A right-arrow for function definitions, !.aAn implication arrow, =!.bFor all symbol, ".cExists symbol, ".dDagger symbol, .eDouble dagger symbol, !.fInfinity symbol.gvDotless letter i. Strictly speaking this is not a part of the AMSMath package, but it is defined here for convenience.hvDotless letter j. Strictly speaking this is not a part of the AMSMath package, but it is defined here for convenience.i+Bottom symbol '. For the infix version see .jDefault math symbol font.k Bold face.lRoman, i.e. not-italic math.m9Escape from math mode, into a normal-text box. Unlike lR, this won't squash spaces, i.e. you can write actual sentences. You can embed  again within such a box.nCalligraphic math symbols.oSans-serif math.pTypewriter font.q%Italic math. Uses the same glyphs as jr, but with spacings intended for multi-character symbols rather than juxtaposition of single-character symbols.r"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 )s"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 ]t"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 }u"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 |v"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 ||w3quad space equal to the current font size (= 18 mu)xqquad twice of quad (= 36 mu) y&, space equal to 3/18 of quad (= 3 mu)z&: 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 text~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.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  - 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  - 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{|}66 744SafeFTAMSSymb package. Example: usepackage [] amssymb' symbol.SafeFT#Different 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.  NoneFT5-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.SafeFTyI3A  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;;NoneFT~Q0BibLaTeX package. Use it to import it like this: usepackage [] biblatex>Use a bibliography file as resource for reference information.SafeFT0bigstrut package. Use it to import it like this: usepackage [] bigstrut,  and 1 produce a strut (a rule with width 0) which is  bigstrutjot (2pt by default) higher, lower, or both than the standard array/tabular strut. Use them in table entries that are adjacent to hlines to leave an extra bit of spaceSafeFTOther predefined colors.A?Specify your own color using one of the different color models.BkEach parameter determines the proportion of red, green and blue, with a value within the [0,1] interval.D'Grayscale, from 0 (black) to 1 (white).G Basic colors.PColor specification.TThe T package. usepackage [] pcolorU_To convert all colour commands to black and white, for previewers that cannot handle colour.Y=Set the background color for the current and following pages.ZSwitch 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 ZQ command in the preamble can change the standard colour of the whole document.[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^[TUVWXGHIJKLMNO      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFPQRSYZ[\]^;      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSNoneFT g7Header and footer settings of a LaTeX document. Use sP to apply these settings in your document. A default value is provided by r., which you can modify using record syntax. mySettings :: HdrSettings mySettings = defaultHdrSettings { centerHeader = "Amazing header" , headRuleWidth = Pt 2 }q1The fancyhdr package. Please, consider to use sv instead of importing the package manually. If you really want to do it manually, use the functions from the  raw interface exposed below.r#Default header and footer settings.&It leaves everything empty but the m field, which is filled with F.#Also, it sets to 0.4 points the o field.sApply 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 q% package again. To be used in the preamble.tPage style of the q package.uSet the left header.vSet the center header.wSet the right header.xSet the left footer.ySet the center footer.zSet the right footer.{Set the  headrulewidth attribute.|Set the  footrulewidth attribute.ghijklmnopqrstuvwxyz{|qghijklmnoprstuvwxyz{|g hijklmnopNoneFTFont 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) fontencNoneFT 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.  SafeFTIInclude 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.NoneFTq9Specification 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.~ = .SafeFTpInputenc package. Example: usepackage [utf8] inputencUTF-8 encoding.Latin-1 encoding.SafeFT1longtable package. Use it to import it like this: usepackage [] longtableThe 6 environment can be used to typeset multi-page tables.End the first head.\Everything above this command will appear at the beginning of the table, in the first page. End the head.Whatever you put before this command and below endfirsthead will be displayed at the top of the table in every page except the first one. End the foot.Similar to endhead, what you put after endhead and before this command will appear at the bottom of the table in every page except the last one.End the last foot.Similar to endfisthead. The elements after endfoot and before this command will be displayed at the bottom of the table but only in the last page where the table appears.cThis optional parameter can be used to specify the vertical position of the table. Defaulted to Center.2Table specification of columns and vertical lines.Table content. See &, lnbk, hline and cline.Resulting table syntax.SafeFT.lscape package. Use it to import it like this: usepackage [] lscapeThis package option makes H rotate the PDF paper  not just the text on the page  when given the  option. (Naturally, this works only with pdfLaTeX.) The result is that the text is viewable online without the reader having to rotate his/her head 90 degrees. The document still prints normally.All text within the  environment is rotated through 90 degrees. The environment may span several pages. It works well with, and was originally created for, use with  longtable to produce long wide tables.Text to be rotatedResulting rotated text.SafeFTType of bigstruts count. It is mainly used if you ve used the bigstrut package. It is the total number of uses of bigstruts within rows being spanned in a multirow.Normal bigstrutsBigstruts in the top rowBigstruts in the bottom row$Bigstruts in the top and bottom rows0multirow package. Use it to import it like this: usepackage [] multirowS sets a piece of text in a tabular or similar environment, spanning multiple rows.?Optional vertical positioning of the text in the multirow blockNumber of rows to spanFOptinal total number of uses of bigstrut within the rows being spanned$Width to which the text is to be set.Optinal length used to raise or lower the textActual text of the constructNoneFT)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 .SafeFT(cThe  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.SafeFT20tabularx package. Use it to import it like this: usepackage [] tabularxpThe  environment takes the same arguments as tabular*, but modifies the widths of certain columns, rather than the inter column space, to set a table with the requested total width. The columns that may stretch are marked with the new token X in the preamble argument.Width of the whole tabular.cThis optional parameter can be used to specify the vertical position of the table. Defaulted to Center.2Table specification of columns and vertical lines.Table content. See &, lnbk, hline and cline.Resulting table syntax. SafeFT;/ltablex package. Use it to import it like this: usepackage [] ltablexSTreet the specified width as the maximum allowed, not the exact width of the table.ltablex has added a feature that treats the X columns like l  columns if the table contents would allow that to happen without exceeding the specified width of the table. In other words, the specified width is treated as the maximum allowed and not the exact width of the table. This feature is the default but can be disabled (or enabled) with keepXColumns (or convertXColumns).!SafeFTg;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 /s 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 1, 2, 3, 4, 5 and 6./Applies a scope to a Tik Z script.0Sequence two Tik Z scripts.1Equivalent to  path [Draw].2Equivalent to  path [Fill].3Equivalent to  path [Clip].4Equivalent to  path [Shade].5Equivalent to path [Fill,Draw].6Equivalent to path [Shade,Draw].:GHIJKLMNO     # !"$%&'()*+,-./0123456:$%&'() !"#*+, GHIJKLMNO -./   0123456      !"#$"SafeFTrGUse a  path builder to construct a value of type  . Use O for this purpose.I-Line from the current point to the given one.J^Rectangle with the current point as one cornder and the given point as the opposite corner.K;Circle with the given radius centered at the current point.L^Ellipse with width and height described by the arguments and centered at the current point.N#Text centered at the current point.OBuild a path using a starting point and a G.LHalf width of the ellipse.Half height of the ellipse. GHIJKLMNO GOIHJKLNMG#SafeFTvS Import the Su package to use the functions exported by this module. For example, adding this line to your document preamble: usepackage [] tikzTTransform a TikZ script to a  block.EGHIJKLMNO     # !"$%&'()*+,-./0123456GHIJKLMNOSTST$SafeFT*UA figure in the plane.VLine along a list of points.WULine along a list of points, but the last point will be joined with the first one.XSame as W/, but the inner side will be filled with color.YiRectangle with top-right corner at the given point and width and height given by the other parameters.ZSame as Y, 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 eF. The text should not be very complex to fit nicely in the picture.`Color for the given U.aLine width for the given U.bScaling of the given U by a factor.c Rotate a U by a given angle (in radians).d'A figure composed by a list of figures.eA point in the plane.f Translate a U to a   script.gThe 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 UH. 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 = 4gPrecision argument, . Interval, (a,b).Path function, f.Output figure.#GHIJKLMNO0STU_VY[]WXZ\^`abcdefg#SUVWXYZ[\]^_`abcdeGHIJKLMNOgf0TUVWXYZ[\]^_`abcd%SafeFThTree datatype.iLeafs are non-empty.jNode values are optional.hjihijhij&NoneFTnThe n package.oGiven a function to LaTeX values, you can create a LaTeXS tree from a Haskell tree. The function specifies how to render the node values.pThis function works as o , but use j as rendering function.qInstance defined in Text.LaTeX.Packages.Trees.Qtree.hjinopnop+,-+,.+,/+,0+12+34+56789:;<:;=:;>:;?:;@:;A:;B:;?:;C:DE:DF:DG:DHIJK'LMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                         ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~(Y     P !"#$%&'()*+,-. / 0 1!2!3!4!5!6!7!8!9!:!;!<!=!>!?!@!A!B!C!D!E!F!G!H!I!J!K!L!M!N!O!P!Q!R!S!T!U!V!W!X!Y!Z![!\!]!^!_!`!a!b!c!d!e!f!g!h!i!j!k!l!m!n!o!p!q"r"s"t"u"v"w"x"y"z"{"|"}#~#$$I$$$J$$K$$L$$K$$$$$$$$%%%N%%%&&&&'''''''+,+,+++++++      +7+, ++++!!!!!!!!"""""%HaTeX-3.19.0.0-IEe4dX6owGk6a6yjabyPsNText.LaTeX.Base.ClassText.LaTeX.Packages.ColorText.LaTeX.Base.WriterText.LaTeX.Base.SyntaxText.LaTeX.Base.ParserText.LaTeX.Base.RenderText.LaTeX.Base.CommandsText.LaTeX.Base.PrettyText.LaTeX.Base.TexyText.LaTeX.Base.TypesText.LaTeX.Base.WarningsText.LaTeX.Packages.AMSFontsText.LaTeX.Packages.AMSMathText.LaTeX.Packages.AMSSymbText.LaTeX.Packages.AMSThmText.LaTeX.Packages.BabelText.LaTeX.Packages.BeamerText.LaTeX.Packages.BibLaTeXText.LaTeX.Packages.BigstrutText.LaTeX.Packages.FancyhdrText.LaTeX.Packages.FontencText.LaTeX.Packages.GeometryText.LaTeX.Packages.GraphicxText.LaTeX.Packages.HyperrefText.LaTeX.Packages.InputencText.LaTeX.Packages.LongTableText.LaTeX.Packages.LscapeText.LaTeX.Packages.MultirowText.LaTeX.Packages.QRCodeText.LaTeX.Packages.RelsizeText.LaTeX.Packages.TabularXText.LaTeX.Packages.LTableXText.LaTeX.Packages.TikZ.Syntax$Text.LaTeX.Packages.TikZ.PathBuilderText.LaTeX.Packages.TikZText.LaTeX.Packages.TikZ.SimpleText.LaTeX.Packages.TreesText.LaTeX.Packages.Trees.Qtree Paths_HaTeXincludegraphicsText.LaTeX.Base Text.LaTeXbaseGHC.BasememptymappendmconcatMonoidGHC.WordWord8Control.Monad.IO.ClassliftIO Data.Monoid<>transformers-0.5.2.0Control.Monad.Trans.Classlift$parsec-3.1.11-Jx0X6lpzdHgC5NMoYR1Rc5Text.Parsec.Error errorMessageserrorPos messageStringMessageExpectUnExpect SysUnExpect ParseErrorText.Parsec.Pos sourceColumn sourceLine sourceName SourcePos#text-1.2.2.2-EakMpasry3jA6OIwSZhq9MData.Text.InternalTextversionTeXArgFixArgOptArgMOptArgSymArgMSymArgParArgMParArgLaTeXTeXRawTeXCommTeXCommSTeXEnvTeXMath TeXLineBreak TeXBraces TeXCommentTeXSeqTeXEmptyMathType ParenthesesSquareDollar DoubleDollarMeasurePtMmCmInExEm CustomMeasure protectString protectTextlookForCommand matchCommand lookForEnvmatchEnvtexmaptexmapMgetBody getPreamble$fHashableMathType$fHashableLaTeX$fHashableTeXArg$fHashableMeasure$fArbitraryTeXArg$fArbitraryLaTeX$fArbitraryMeasure$fIsStringLaTeX$fSemigroupLaTeX $fMonoidLaTeX$fDataMathType $fEqMathType$fGenericMathType$fShowMathType $fDataTeXArg $fEqTeXArg$fGenericTeXArg $fShowTeXArg $fDataLaTeX $fEqLaTeX$fGenericLaTeX $fShowLaTeX $fDataMeasure $fEqMeasure$fGenericMeasure $fShowMeasureLaTeXC liftListL fromLaTeXliftLliftL2liftL3comm0comm1comm2comm3commSbraces squareBraces $fLaTeXCLaTeXRenderrender renderAppend renderChars renderCommas renderFile readFileTex rendertex showFloat $fRender[] $fRenderBool $fRenderWord8$fRenderDouble $fRenderFloat$fRenderInteger $fRenderInt$fRenderTeXArg $fRenderLaTeX$fRenderMeasure $fRenderTextdocLaTeX prettyLaTeXParser ParserConfverbatimEnvironmentsdefaultParserConf parseLaTeXparseLaTeXWithparseLaTeXFileparseLaTeXFileWith latexParserlatexBlockParserTexytexy $fTexyMeasure $fTexyBool $fTexyFixed $fTexyChar $fTexyDouble $fTexyFloat $fTexyInteger $fTexyInt $fTexyText $fTexyLaTeX TableSpec LeftColumn CenterColumn RightColumn ParColumnTop ParColumnMid ParColumnBot NameColumn BeforeColumn AfterColumn VerticalLine DVerticalLine SeparatorHPosHLeftHCenterHRightPosBottomCenterTopLabel PageStyle PackageName ClassName createLabel labelName$fIsStringLabel $fRenderLabel $fRenderPos $fRenderHPos$fRenderTableSpec $fEqLabel $fShowLabel $fShowPos $fShowHPos$fShowTableSpec PaperTypeA0A1A2A3A4A5A6B0B1B2B3B4B5B6Letter ExecutiveLegal ClassOptionDraft TitlePage NoTitlePage OneColumn TwoColumnOneSideTwoSide Landscape OpenRightOpenAnyFleqnLeqnoFontSizePaper CustomOptionrawbetweencomment%: maketitletitledateauthor institutethanks usepackagelatexparnewlinepartchaptersection subsection subsubsection paragraph subparagraphtableofcontentsappendixitem enumerateitemize description flushleft flushrightcenterquoteverseminipagefiguretableabstractcite customopt documentclassarticleprocminimalreportbookslidesa0papera1papera2papera3papera4papera5papera6paperb0paperb1paperb2paperb3paperb4paperb5paperb6paper letterpaperexecutivepaper legalpaperdraftfleqnleqno titlepage notitlepage onecolumn twocolumnonesidetwoside landscape openrightopenanydocument pagenumberingarabicromanroman_alphalph_ pagestyle thispagestyleplainheadingsempty myheadingsmarkboth markrightlnbklnbk_lnbkspclnbkspc_hypcleardoublepage clearpagenewpage linebreak nolinebreak nopagebreak pagebreak hyphenationmboxfboxtodaythePagetexlaTeX2laTeXeldotsvdotsddotsqts centering raggedleft raggedrightfootnote linespread baselineskipindentnoindenthspacehspace_stretchvspacevspace_ addvspacehfillvfilldotfill hrulefillprotect textwidth textheight linewidthverbatimverb underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipmedskipbigskiptabulararray&hlinetabularnewlinetabularnewlineSpcarraybackslash multicolumn matrixTabularclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_versioncaptionlabelrefpagerefinputinclude$fRenderPaperType$fIsStringClassOption$fRenderClassOption$fShowPaperType$fShowClassOptionTeXCheckcheckWarning UnusedLabelUndefinedLabelNoClassSelectedNoDocumentInserted CustomWarningcheckFromFunctioncheckAll checkClasscheckDoc checkLabels$fMonoidTeXCheck$fSemigroupTeXCheck $fEqWarning $fShowWarningLaTeXMLaTeXT_LaTeXT runLaTeXM execLaTeXM runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp mapLaTeXT rendertexM$fSemigroupLaTeXT$fMonoidLaTeXT$fIsStringLaTeXT$fLaTeXCLaTeXT$fMonadIOLaTeXT $fMonadLaTeXT$fMonadTransLaTeXT$fApplicativeLaTeXT$fFunctorLaTeXTamsfontsmathbbmathfraknaturalsintegers rationalsreals complexes trealPart timagPartamsmathmath 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 $fNumLaTeXamssymb checkmark TheoremStylePlain DefinitionRemarkCustomThmStyleamsthm newtheoremtheoremproofqedhere theoremstyle$fRenderTheoremStyle$fShowTheoremStyleLangConfmainLang otherLangsLanguage Bulgarian BrazilianCanadienCzechDutchEnglishFinnishFrancaisFrenchFrenchBGermanNGerman IcelandicItalianMagyar PortugueseRussianSpanishUkranianbabel uselanguageuselanguageconfselectlanguage otherlanguageforeignlanguage$fTexyLanguage$fRenderLanguage$fShowLanguage$fShowLangConfThemeAnnArborAntibesBergenBerkeleyBerlinBoadilla 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$fRenderOverlaySpec$fRenderCoverOption $fRenderTheme$fShowOverlaySpec$fShowCoverOption$fShowOpaqueness $fEqTheme $fShowThemebiblatexaddbibresourceprintbibliography bigstrutpbigstrut bigstrutTopbigstrutBottom 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 $fRenderColor$fRenderColorModel$fRenderColorName$fRenderColSpec $fShowColor$fShowColorModel$fShowColorName $fShowColSpec HdrSettings leftHeader centerHeader rightHeader leftFooter centerFooter rightFooter headRuleWidth footRuleWidthfancyhdrdefaultHdrSettingsapplyHdrSettingsfancylheadcheadrheadlfootcfootrfootrenewheadrulewidthrenewfootrulewidth$fEqHdrSettings$fShowHdrSettingsFontEncT1OT1fontenc useencoding $fTexyFontEnc$fRenderFontEnc $fShowFontEncGeometryOptionGHeightGWidthGPaper GCentered GPaperHeight GPaperWidth GLandscapegeometry applyGeometryimportGeometry$fRenderGeometryOption$fShowGeometryOptionIGOptionIGWidthIGHeightKeepAspectRatioIGScaleIGAngleIGTrimIGClipIGPagegraphicxdvipsdvipdfmpdftex rotateboxscalebox reflectbox resizebox$fRenderIGOption$fShowIGOption PdfPageLayout SinglePage TwoColumnLeftTwoColumnRight TwoPageLeft TwoPageRightURL HRefOptionPDFRemoteStartView PDFNewWindowHRefPagehyperref createURLhrefurl nolinkurl hyperbaseurl hyperimageautorefnamerefpdftitle pdfauthor pdfsubject pdfcreator pdfproducer pdfkeywords pdftrapped pdfstartpage pdfpagelayout$fRenderHRefOption $fIsStringURL $fRenderURL$fShowHRefOption $fShowURL$fEqPdfPageLayout$fOrdPdfPageLayout$fReadPdfPageLayout$fShowPdfPageLayoutinputencutf8latin1 longtablep longtable endfirstheadendheadendfoot endlastfootlscapeBigStrutsCount BigStruts BigStrutsTopBigStrutsBottomBigStrutsTopBottom multirowpmultirow$fRenderBigStrutsCount$fShowBigStrutsCount CodeOptionsincludePaddinglink errorLevel ErrorLevelLowMediumQualityHighqrcodedefaultOptionsfinalqr$fEqErrorLevel$fOrdErrorLevel$fReadErrorLevel$fShowErrorLevel$fEqCodeOptions$fShowCodeOptionsprelsizerelsizelargersmallerrelscale textlarger textsmaller textscale tabularxptabularxltablex keepXColumnsconvertXColumns ActionTypeDrawFillClipShadeTikZ ParameterTWidthTColorTScaleTRotate TikZColor BasicColorRGBColorStepDimStepXYStep PointStep GridOptionGridStepTPathStartCycleLine RectangleCircleEllipseGridNodeTPointpointAt pointAtXY pointAtXYZrelPoint relPoint_ startingPoint lastPoint->- emptytikzpathscope->>drawfillclipshadefilldraw shadedraw$fRenderTPoint $fRenderStep$fRenderGridOption $fRenderTPath$fRenderTikZColor$fRenderParameter$fRenderActionType $fRenderTikZ $fShowTPoint $fShowStep$fShowGridOption $fShowTPath$fShowTikZColor$fShowParameter$fShowActionType $fShowTikZ PathBuilderpcycleline rectanglecircleellipsegridnodebpath$fMonadPathBuilder$fApplicativePathBuilder$fFunctorPathBuildertikz tikzpictureFigurePolygon PolygonFilledRectangleFilled CircleFilled EllipseFilledColored LineWidthScaleRotateFiguresPoint figuretikz pathImageTreeLeaf$fTraversableTree$fFoldableTree $fFunctorTreeqtreetree rendertree $fTexyTree getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameStringMonad arbitraryRaw(QuickCheck-2.10.1-BUFYQzp5Pjm7JbQeTzW89lTest.QuickCheck.Arbitrary Arbitrary arbitraryName Data.String fromStringIsStringGHC.ShowShowghc-prim GHC.TypesCharBool Data.OldListunwordswordsunlineslines/wl-pprint-extras-3.5.0.5-E7a4xfzaTWk2efXVXONozJText.PrettyPrint.Free.InternalDocIntDoubleLabWarn RefNoLabel LabelNoRefLabelRefTCData.Functor.IdentityIdentityControl.Monad.Trans.Writer.LazyWriterT unwrapLaTeXTNothingnotop GHC.FloatasinhatanhacoshGHC.NumsignumTrue packageOption PathActionScopeTikZSeqDimPointXYPointXYZPointRelPoint RelPoint_PB pathBuilder PathStatePS currentPath