(=+      !"#$%&'()*+,-./0123456789:;<=> ? @ 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 [ \ ]^_`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 jklmnopqrstuv w x y z { | } ~           !"#$%&'()*NoneTree datatype. Node values are optional. Leafs are non-empty.  +,-   +,-None ./012 ./012 ./012None An argument for a  command or environment.  Version of  with multiple options. An argument enclosed between < and >. Multiple optional argument. Fixed argument. Optional argument. Type of LaTeX blocks. An empty block.  Neutral element of . Sequencing of  expressions.  Use  preferably.  Comments. A expression between braces.  Operators. Newline character. Mathematical expressions. Constructor for environments. 0 First argument is the name of the environment.  Second, its arguments.  Third, its content. ,Constructor for commands with no arguments. Constructor for commands. , First argument is the name of the command.  Second, its arguments.  Raw text. &Escape LaTeX reserved characters in a 3. &Escape LaTeX reserved characters in a . 4Method 5) escapes LaTeX reserved characters using . 6Method L is strict in both arguments (except in the case when the first argument is ).  46      46None%0A simple (without arguments) command generator, " given the name of the command. ( comm0 str = fromLaTeX $ TeXComm str [] !"#$%&'7  !"#$%&' !"#$%&' !"#$%&'7None($Parse a LaTeX expression written in , to a  AST.  It returns a  in case of parsing error. ((((None )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. ,9Custom warning for custom checkings. Use it as you want. -No document inserted. .No class selected with  documentclass. /CThere is a reference to an undefined label. Arguments is the name. 00There is an unused label. Argument is its name. 1Build a ) from a function. 2 Check with 5, 3 and 4. 3?Check if a document class is specified for the document (using  documentclass). 4 Check if the document environment is called in a . 5>Checking for unused labels or references tu undefined labels. )*+,-./0123458 )*+,-./012345+0/.-,)**15342)*+0/.-,123458None6+Class of values that can be transformed to . ( You mainly will use this to obtain the  output  of a - value. If you are going to write the result  in a file, consider to use ;. 83Render every element of a list and append results. 93Render every element of a list and append results,  separated by the given 9. :3Render every element of a list and append results,  separated by commas. ;Use this function to render a  (or another  one in the 6 class) value directly  in a file. <1If 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. 6789:;<=:;<=>?5@3ABCD6789:;<= 6789:;=< 6789:;<=:;<=>? None?You can introduce a  expression as a measure. @The width of an "M" in the current font. AThe height of an "x" in the current font. BInch. C Centimeter. D Millimeter. E A point is 1/772.27 inch, that means about 0.0138 inch or 0.3515 mm. G*Double vertical line between two columns. H#Vertical line between two columns. IFParagraph column with text vertically aligned at the bottom. Requires array package. JFParagraph column with text vertically aligned at the middle. Requires array package. K:Paragraph column with text vertically aligned at the top. LRight-justified column. MCentered column. NLeft-justified column. OA vertical position. T#Package names are represented by a 3. U!Class names are represented by a 3. >?@ABCDEFGHIJKLMNOPQRSTUVWEFGHI>?@ABCDEFGHIJKLMNOPQRSTUVWUTSVWORQPFNMLKJIHG>EDCBA@? >EDCBA@?FNMLKJIHGORQPSTUVWEFGHI NoneXInputenc package.  Example:  usepackage [utf8] inputenc YUTF-8 encoding. ZLatin-1 encoding. XYZXYZXYZXYZ None[AMSFonts package.  Example:  usepackage [] amsfonts \/This font is useful for representing sets like 3 R (real numbers) or Z (integers). For instance:  D "The set of real numbers are represented by " <> mathbb "R" <> "." Or in monadic form:  D "The set of real numbers are represented by " >> mathbb "R" >> "." #Note the use of overloaded strings. [\[\[\[\None1]LaTeX available paper types. o#A class option to be passed to the  function. Insert a raw piece of .  This functions doesn' t care about LaTeX reserved characters, , it insert the text just as it is received. Calling  c l1 l2 puts c between l1 and l2 and  appends them. Create a comment. 4This operator appends a comment after a expression.  For example:  < textbf "I'm just an example." % "Insert a few words here." FSince you are writing in Haskell, you may not need to output comments A as you can add them in the Haskell source. I added this feature  for completeness. -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. +Set either an institute or an organization  for the document. :Import a package. First argument is a list of options for + the package named in the second argument. The LaTeX logo. Start a new paragraph Start a new line. (Start a new section with a given title. 6Create the table of contents, automatically generated  from your s, s, and other related stuff. Minipage environment. Figure environment. 1Set the document class. Needed in all documents. =Typesets displayed formulae left-aligned instead of centred. MPlaces the numbering of formulae on the left hand side instead of the right. >Changes the layout of the document to print in landscape mode 5Makes chapters begin either only on right hand pages 1Makes chapters begin on the next page available. Arabic numerals. Lowercase roman numerals. Uppercase roman numerals. Lowercase letters. Uppercase letters. Used in conjunction with 2 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  instead. Horizontal dots. Vertical dots. Diagonal dots. Quotation marks. +Set the given argument to monospaced font. *Set the given argument to bold font face. -Set the given argument to small caps format. The X environment can be used to typeset tables with optional horizontal and vertical lines. Column separator. Horizontal line.  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. Print the HaTeX-meta logo. :Print the HaTeX logo, beside the complete version number. ]^_`abcdefghijklmnopqrstuvwxyz{|}~Optional position Width Minipage content Optional position Figure content Class options  Class name      SThis optional parameter can be used to specify the vertical position of the table.  Defaulted to Q. 3Table specification of columns and vertical lines. Table content. See , ,  and . Resulting table syntax. Optional lifting. Width. Height.  !"JKL ]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"o~}|{zyxwvutsrqp]nmlkjihgfedcba`_^       !"]nmlkjihgfedcba`_^o~}|{zyxwvutsrqp      !"JKL None#AMSMath package.  Example:  usepackage [] amsmath $!Inline mathematical expressions. % Superscript. & Subscript. 'Sine function symbol. (Arcsine function symbol. )Cosine function symbol. *Arccosine function symbol. +Tangent function symbol. ,Arctangent function symbol. -Exponential function symbol. .Logarithm function symbol. /Natural logarithm symbol. 2 Greater. 3Greater or equal. 4Lesser. 5Lesser or equal. `A right-arrow. aFor all symbol. bDagger symbol. cDouble dagger symbol. G#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiG#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiG#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiG#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghiNone m!This is the usual way to run the k monad  and obtain a  value. n Version of m! with possible warning messages.  This function applies 2 to the  output. oThis function run a k computation, * lifting the result again in the monad. qWith q you can append  values to the  state of the k monad. rLift a function over  values to a function  acting over the state of a k computation. sLift an operator over  values to an operator  acting over the state of two k computations. 3Note: The returned value is the one returned by the  'second argument of the lifted operator. t Just like = , but with k output. " rendertexM = textell . rendertex M = N. OBe careful when using 5 over a k value, 9 the returned value of the computation is bottom (i.e. P). jklmnopqrstuMOQR jklmnopqrstu kjlmnopqtrsujklmnopqrstuMOQR None{The { package.  usepackage [] hyperref }Reference to an v. ~ Write an v hyperlinked.  Write an v without creating a hyperlink. Establish a base v. 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 refC command that places a contextual label in front of the reference. vwxyz{|}~ST vwxyz{|}~ {wzyxv|}~ vwzyx{|}~STNone A  of a presentation. See . 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 text. With the $s, you can specify the slides where  the text will be highlighted. Introduces a pause in a slide.  works like item-, but allows you to specify the slides where  the item will be displayed. With 4, show a piece of text only in the slides you want.  Similar to . A ' will be displayed surrounding a text. Set the 2 employed in your presentation (in the preamble). 0Title for the block Content of the block Result UV..UVNoneAMSThm package.  Example:  usepackage [] amsthm  Create a new  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." The * 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. W  WNone The   package.  usepackage [] pcolor  3To 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. 2Set 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. ASwitch to the colour that was active at the end of the preamble.  Thus, placing a ( command in the preamble can change the * standard colour of the whole document. ^     XYZ[Z     Z     ;     XYZ[None IInclude Graphics Option. These options can be passed as arguments to the # function. 5If the image file is a pdf file with multiple pages, E this parameter allows you to use a different page than the first. For the  option to work, you must set  to \. BThis option will crop the imported image. Arguments are from-left 6 , from-bottom, from-right and from-top respectively. #Rotate the image by given degrees. .Scales the image by the desired scale factor. When \,, it will scale the image according to both  and  3 , but will not distort the image, so that neither  nor  are exceeded. 4Specify the preferred height of the imported image. 3Specify the preferred width of the imported image. The  package.  usepackage [] graphicx #"Include an image in the document.  !"#Options  Image file $%Horizontal scale. Vertical scale. &'Horizontal size. Vertical size. ] !"#$%&' "!#$%&'  !"#$%&']NoneXYZ[\#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghivwxyz{|}~      !"#$%&'None^Methods _ and ` are undefined. Don' t use them! ^5@3abcdefghijklmnopqrstuvwxABCD 6789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVW]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"jklmnopqrstu^None()* ()*()*()*None5@3abcdefghijklmnopqrstuvwxABCD 6789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'y !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\ ] ^ _ ` 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:;<=>?@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[\]^_`abUcdedfdgdh i j k l mnopqRrstuvw x yz{|}~Z[ HaTeX-3.3Text.LaTeX.Base.SyntaxText.LaTeX.Base.ClassText.LaTeX.Base.WriterText.LaTeX.Base.ParserText.LaTeX.Base.RenderText.LaTeX.Packages.TreesText.LaTeX.Base.CommandsText.LaTeX.Base.WarningsText.LaTeX.Base.TypesText.LaTeX.Packages.InputencText.LaTeX.Packages.AMSFontsText.LaTeX.Packages.AMSMathText.LaTeX.Packages.HyperrefText.LaTeX.Packages.BeamerText.LaTeX.Packages.AMSThmText.LaTeX.Packages.ColorText.LaTeX.Packages.GraphicxText.LaTeX.Packages.Trees.Qtree Paths_HaTeXText.LaTeX.PackagesText.LaTeX.Base Text.LaTeXbase Data.Monoid<>mconcatmappendmemptyMonoidtransformers-0.3.0.0Control.Monad.Trans.Classlift parsec-3.1.2Text.Parsec.Error ParseError text-0.11.2.0Data.Text.InternalTextTreeNodeLeafversionTeXArgMSymArgSymArgMOptArgFixArgOptArgLaTeXTeXEmptyTeXSeq TeXComment TeXBracesTeXOp TeXNewLineTeXMathTeXEnvTeXCommSTeXCommTeXRaw protectString protectTextLaTeXC liftListL fromLaTeXliftLliftL2comm0commSbraces parseLaTeXTeXCheckcheckWarning CustomWarningNoDocumentInsertedNoClassSelectedUndefinedLabel UnusedLabelcheckFromFunctioncheckAll checkClasscheckDoc checkLabelsRenderrender renderAppend renderChars renderCommas renderFile readFileTex rendertexMeasure CustomMeasureEmExInCmMmPt TableSpec DVerticalLine VerticalLine ParColumnBot ParColumnMid ParColumnTop RightColumn CenterColumn LeftColumnPosTopCenterBottomLabel PackageName ClassName createLabel labelNameinputencutf8latin1amsfontsmathbb PaperTypeLegal ExecutiveLetterB6B5B4B3B2B1B0A6A5A4A3A2A1A0 ClassOption CustomOptionPaperFontSizeLeqnoFleqnOpenAny OpenRight LandscapeTwoSideOneSide TwoColumn OneColumn NoTitlePage TitlePageDraftrawbetweencomment% maketitletitledateauthor institutethanks usepackagelatexparnewlinepartchaptersection subsection subsubsection paragraph subparagraphtableofcontentsappendixitemequation equation_ 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 hyphenationmboxfboxtodaytexlaTeX2laTeXeldotsvdotsddotsqtsfootnote linespreadindentnoindenthspacehspace_stretchvspaceprotect textwidth linewidthverbatim underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipbigskiptabular&hlineclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_meta hatex_versioncaptionlabelrefpagerefamsmathmath^:!:tsinarcsintcosarccosttanarctantexptlogln=:/=:>:>=:<:<=:in_ninotinalphabetagammagammaudeltadeltauepsilon varepsilonzetaetathetathetauiotakappalambdalambdaumunuxixiupi_varpipiurhovarrhosigmavarsigmasigmautauupsilonupsilonuphivarphiphiuchipsipsiuomegaomegautoforalldaggerddaggermathbfmathrmmathcalmathsfmathttmathitLaTeXT_LaTeXT runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp rendertexMmerrorURL HRefOptionHRefPage PDFNewWindowPDFRemoteStartViewhyperref createURLhrefurl nolinkurl hyperbaseurl hyperimageautorefTheme CustomThemeWarsawSzeged Singapore Rochester PittsburghPaloAlto MontpellierMarburgMalmoeMadridLuebeck JuanLesPinsIlmenauHannover Goettingen FrankfurtDresdenDefault Darmstadt Copenhagen CambridgeUSBoxesBoadillaBerlinBerkeleyBergenAntibesAnnArbor OverlaySpec FromToSlideToSlide FromSlideOneSlidebeamerframe frametitle framesubtitlealertpause beameritemuncoveronlyblockusetheme TheoremStyleCustomThmStyleRemark DefinitionPlainamsthm newtheoremtheoremproofqedhere theoremstyle ColorName YellowOrange YellowGreenWildStrawberry VioletRedViolet TurquoiseThistleTealBlueTan SpringGreenSkyBlueSepiaSeaGreenSalmon RubineRed RoyalBlue Rhodamine RedViolet RedOrange RawSiennaPurple ProcessBluePlum PineGreen PeriwinklePeachOrchid OrangeRedOrange OliveGreenNavyBlueMulberry MidnightBlueMelonMaroonMahogany LimeGreenLavender JungleGreen GreenYellowGray GoldenrodFuchsia ForestGreenEmerald DarkOrchid DandelionCornflowerBlueCerulean CarnationPink CadetBlue BurntOrangeBrownBrickRed BlueViolet BlueGreen Bittersweet AquamarineApricot ColorModelCMYKHTMLGrayMRGB255RGBColorWhiteBlackMagentaCyanYellowBlueGreenRedColSpec DvipsColorModColorDefColorpcolor monochrome dvipsnames nodvipsnamesusenames pagecolorcolor textcolorcolorbox fcolorbox normalcolorIGOptionIGPageIGClipIGTrimIGAngleIGScaleKeepAspectRatioIGHeightIGWidthgraphicxdvipsdvipdfmpdftexincludegraphics rotateboxscalebox reflectbox resizeboxqtreetree rendertree$fTraversableTree$fFoldableTree $fFunctorTree getBinDir getLibDir getDataDir getLibexecDirgetDataFileNameGHC.BaseString$fIsStringLaTeX Data.String fromString $fMonoidLaTeX $fLaTeXCLaTeX$fMonoidTeXCheckghc-prim GHC.TypesChar$fRenderDouble $fRenderFloat$fRenderInteger $fRenderInt$fRenderTeXArg $fRenderLaTeXIsString Data.Listunwordswordsunlineslines$fRenderMeasure$fRenderTableSpec $fRenderPos$fIsStringLabel $fRenderLabel$fRenderPaperType$fIsStringClassOption$fRenderClassOption$fMonoidLaTeXT>>$fIsStringLaTeXTGHC.Err undefined$fLaTeXCLaTeXT$fMonadTransLaTeXT $fRenderURL$fRenderHRefOption $fRenderTheme$fRenderOverlaySpec$fRenderTheoremStyle$fRenderColSpec$fRenderColorName$fRenderColorModel $fRenderColorTrue$fRenderIGOption $fNumLaTeXGHC.NumabssignumgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetFirstFirstgetLastLast