Bx?0      !"#$%&'()*+,-./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 j k l m nopqrstuvwxyz{ | } ~                !"#$%&'()*+,-./None Tree datatype. Node values are optional. Leafs are non-empty.  012    012None 3 456789:;< 89:;< 3 456789:;<None 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 =. &Escape LaTeX reserved characters in a . >Method ?) escapes LaTeX reserved characters using . @Method L is strict in both arguments (except in the case when the first argument is ).   A>@       A>@None !This is the class of  code generators. It has  and B as  superclasses. "9This method must take a function that combines a list of  values into a new one, ( and creates a function that combines l--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. '9A simple (without arguments) and handy command generator " using the name of the command. ( comm0 str = fromLaTeX $ TeXComm str [] (Like ' but using (.  commS = fromLaTeX . TeXCommS )A lifted version of the  constructor.  braces = liftL TeXBraces CThis instance just sets liftListL = id. !"#$%&'()C !"#$%&'() !"#$%&'() !"#$%&'()CNone*$Parse a LaTeX expression written in , to a  AST.  It returns a  in case of parsing error. DEFGHIJKLMNOPQRSTUVWX***DEFGHIJKLMNOPQRSTUVWX*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. 0No class selected with  documentclass. 1CThere is a reference to an undefined label. Arguments is the name. 20There is an unused label. Argument is its name. 3Build a + from a function. 4 Check with 7, 5 and 6. 5?Check if a document class is specified for the document (using  documentclass). 6 Check if the document environment is called in a . 7>Checking for unused labels or references tu undefined labels. YZ[\]^+_,-./012345`6ab7cdef +,-./01234567-210/.+,,37564YZ]\[^+_,-210/.345`6ab7cdefNone8+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 =. :3Render every element of a list and append results. ;3Render every element of a list and append results,  separated by the given g. <3Render every element of a list and append results,  separated by commas. =Use this function to render a  (or another  one in the 8 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. 89:;<=>?hijklm?B=nopq89:;<=>? 89:;<=?> 89:;<=>?hijklm NoneAYou can introduce a  expression as a measure. BThe width of an "M" in the current font. CThe height of an "x" in the current font. DInch. E Centimeter. F Millimeter. G A point is 1/772.27 inch, that means about 0.0138 inch or 0.3515 mm. I*Double vertical line between two columns. J#Vertical line between two columns. KFParagraph column with text vertically aligned at the bottom. Requires array package. LFParagraph column with text vertically aligned at the middle. Requires array package. M:Paragraph column with text vertically aligned at the top. NRight-justified column. OCentered column. PLeft-justified column. QA vertical position. V#Package names are represented by a =. W!Class names are represented by a =. @ABCDEFGHIJKLMNOPQRSTUrVWXYstuvw@ABCDEFGHIJKLMNOPQRSTUVWXYWVUXYQTSRHPONMLKJI@GFEDCBA @GFEDCBAHPONMLKJIQTSRUrVWXYstuvw NoneZInputenc package.  Example:  usepackage [utf8] inputenc [UTF-8 encoding. \Latin-1 encoding. Z[\Z[\Z[\Z[\ 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. ]^]^]^]^None3_LaTeX available paper types. q#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. )Fill out all available horizontal space. 'Fill out all available vertical space. +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 S. 3Table specification of columns and vertical lines. Table content. See , ,  and . Resulting table syntax. Optional lifting. Width. Height.  !"#$%&xyz _`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&q~}|{zyxwvutsr_ponmlkjihgfedcba` ! "     #$%&_ponmlkjihgfedcba`q~}|{zyxwvutsr      !"#$%&xyz 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. 0Arctangent function symbol. 1Exponential function symbol. 2Logarithm function symbol. 3Natural logarithm symbol. {Negative form of an operator. 4Equal.  infixr 4 =: 5 Not equal.  infixr 4 /=: 6 Greater. 7Greater or equal. 8Lesser. 9Lesser or equal. dA right-arrow. eFor all symbol. fDagger symbol. gDouble dagger symbol. H'()*+,-./0123{456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmG'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmG'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmH'()*+,-./0123{456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmNone q!This is the usual way to run the o monad  and obtain a  value. r Version of q! with possible warning messages.  This function applies 4 to the  output. sThis function run a o computation, * lifting the result again in the monad. uWith u you can append  values to the  state of the o monad. vLift a function over  values to a function  acting over the state of a o computation. wLift an operator over  values to an operator  acting over the state of two o computations. 3Note: The returned value is the one returned by the  'second argument of the lifted operator. x Just like ? , but with o output. " rendertexM = textell . rendertex z Function z$ casts a value contained in a monad m to the M bottom value of another type. If you try to evaluate this value, you will ! get an error message with the = passed as argument to z. | = }. ~Be careful when using ? over a o value, 9 the returned value of the computation is bottom (i.e. ). nopqrstuvwxyz|~nopqrstuvwxyzonpqrstuxvwyznopqrstuvwxyz|~ NoneThe  package.  usepackage [] hyperref Reference 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 refC command that places a contextual label in front of the reference. {|}~ {|}~ |~}{ {|~}None 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 ..NoneAMSThm 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.   NoneThe  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. ^     Z     Z     ;     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.  !"#$%&'()*+,$%&'#"! ()*+, #"! $%&'()*+,NoneZ[\]^'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklm{|}~      !"#$%&'()*+,NoneDivision uses the LaTeX frac command. Careful! Method  is undefined. Don' t use it! *Warning: this instance only exist for the  instance. *Warning: this instance only exist for the  instance. Division uses the LaTeX frac command. Careful! Method  is undefined. Don' t use it! "?B=nopq  89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&nopqrstuvwxyz None-The - package. .Given a function to LaTeX values, you can create a LaTeX tree from a G Haskell tree. The function specifies how to render the node values. /This function works as . , but use 9 as rendering function. -./ -./-./-./None"?B=nopq  89:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXY_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&nopqrstuvwxyz !"#$%&'()*+,-./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:;<=>?@ABCDEF 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[\]^_`abc`defghijklmnopqrstuvwxyz{|}~ u      ]    HaTeX-3.4Text.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.ClassliftControl.Monad.IO.ClassliftIO parsec-3.1.3Text.Parsec.Error ParseError text-0.11.2.3Data.Text.InternalTextTreeNodeLeafversionTeXArgMSymArgSymArgMOptArgFixArgOptArgLaTeXTeXEmptyTeXSeq TeXComment TeXBracesTeXOp TeXNewLineTeXMathTeXEnvTeXCommSTeXCommTeXRaw protectString protectTextLaTeXC liftListL fromLaTeXliftLliftL2liftL3comm0commSbraces 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_stretchvspacehfillvfillprotect textwidth linewidthverbatim underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipbigskiptabular&hlineclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_meta hatex_versioncaptionlabelrefpagerefamsmathmath^:!:tsinarcsintcosarccosttanarctantexptlogln=:/=:>:>=:<:<=:in_ninotinalphabetagammagammaudeltadeltauepsilon varepsilonzetaetathetathetauiotakappalambdalambdaumunuxixiupi_varpipiurhovarrhosigmavarsigmasigmautauupsilonupsilonuphivarphiphiuchipsipsiuomegaomegautoforalldaggerddaggermathbfmathrmmathcalmathsfmathttmathitLaTeXT_LaTeXT runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp rendertexM throwErrormerrorURL 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 $fFunctorTreecatchIObindirlibdirdatadir libexecdir getBinDir getLibDir getDataDir getLibexecDirgetDataFileNameGHC.BaseString$fIsStringLaTeX Data.String fromString $fMonoidLaTeX protectCharIsString $fLaTeXCLaTeXp_Commp_CommSp_Envp_Math p_NewLinep_RawGp_Rawp_RawNCp_TeXU p_TeXURawp_TeXp_TeXUNCp_TeXNC p_SimpleArg p_MultiArgp_Optp_MOptp_Fixp_Symp_MSymp_ArgLabStLabWarnLabelRef LabelNoRef RefNoLabelBoolStTC classcheckdocchecklabWarnToWarninglabchecknewlabnewref$fMonoidTeXCheckghc-prim GHC.TypesChar$fRenderDouble $fRenderFloat$fRenderInteger $fRenderInt$fRenderTeXArg $fRenderLaTeX Data.Listunwordswordsunlineslines$fRenderMeasure$fRenderTableSpec $fRenderPos$fIsStringLabel $fRenderLabel$fRenderPaperType$fIsStringClassOption$fRenderClassOptionnotop$fMonoidLaTeXT>>$fIsStringLaTeXTGHC.Err undefined unwrapLaTeXTpairNoth$fLaTeXCLaTeXT$fMonadIOLaTeXT $fMonadLaTeXT$fMonadTransLaTeXT$fFunctorLaTeXT $fRenderURL$fRenderHRefOption $fRenderTheme$fRenderOverlaySpec$fRenderTheoremStyle$fRenderColSpec$fRenderColorName$fRenderColorModel $fRenderColorTrue$fRenderIGOption$fFractionalLaTeXT $fNumLaTeXTGHC.Numsignum $fShowLaTeXTNum $fEqLaTeXT$fFractionalLaTeX $fNumLaTeXgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetFirstFirstgetLastLasttree_