0b=      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k lmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./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 YZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe-InferredTree datatype. Node values are optional. Leafs are non-empty.          Safe-Inferred          Safe-Inferred 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. Line break command. 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. 8Different types of syntax for mathematical expressions. "$Measure units defined in LaTeX. Use # to use commands like  textwidth.  For instance:  / rule Nothing (CustomMeasure linewidth) (Pt 2) "This will create a black box (see rule+) as wide as the text and two points tall. #You can introduce a  expression as a measure. $The width of an "M" in the current font. %The height of an "x" in the current font. &Inch. ' Centimeter. ( Millimeter. ) A point is 1/772.27 inch, that means about 0.0138 inch or 0.3515 mm. *&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 ). #  !"#$%&'()*+!  !"#$%&'()*+!")('&%$#!   *+   ! ")('&%$#*+ Safe-Inferred ,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 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. 0 Variant of / with a two arguments function. 1 Variant of /" with a three arguments function. 29A simple (without arguments) and handy command generator " using the name of the command. ( comm0 str = fromLaTeX $ TeXComm str [] 3AA one parameter command generator using the name of the command. 7 The parameter will be rendered as a fixed argument. 2 comm1 str = liftL $ \l -> TeXComm str [FixArg l] 4Like 2 but using  , i.e. no "{}" will be inserted to protect  the command's end.  commS = fromLaTeX . TeXCommS 5A lifted version of the  constructor.  braces = liftL TeXBraces This instance just sets liftListL = id. ,-./012345,-./012345,-./012345 ,-./012345portable experimentalNone6 Parses a Text sequence at once;  may fail or conclude. 7The incremental LaTeX Parser 8.Incremental Parser for single blocks of LaTeX 9-Incremental Parser that terminates after the document envionment : Test if a  block is a document environment. #6789: !"#$%&'()*+,-./01234567896789:7869:#6789: !"#$%&'()*+,-./0123456789 Safe-Inferred ;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. ACThere is a reference to an undefined label. Arguments is the name. B0There is an unused label. Argument is its name. CBuild a ; from a function. D Check with G, E and F. E?Check if a document class is specified for the document (using  documentclass). F Check if the document environment is called in a . G>Checking for unused labels or references tu undefined labels. :;<=>?;@<=>?@ABCDEAFBCGDEFG ;<=>?@ABCDEFG=BA@?>;<<CGEFD:;>=<?;@<=BA@?>CDEAFBCGDEFG Safe-InferredH+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 M. Consider also to use O to get H able values  into  blocks. 'If you want to make a type instance of H and you already  have a H- instance, you can use the default instance.  render = fromString . show J3Render every element of a list and append results. K3Render every element of a list and append results,  separated by the given I. L3Render every element of a list and append results,  separated by commas. MUse this function to render a  (or another  one in the H class) value directly  in a file. N1If you are going to insert the content of a file  in your # data, use this function to ensure  your encoding is correct. O If you can transform a value to  , you can  insert that  in your  code. $ That is what this function does.  Warning: O+ does not escape LaTeX reserved characters.  Use + to escape them. J1This instance escapes LaTeX reserved characters. HIJKLMNOKLMNOPQRJSTUVHIJKLMNO HIJKLMONHIJKLMNOKLMNOPQRJ  Safe-InferredPType of table specifications. Q*Double vertical line between two columns. R#Vertical line between two columns. SFParagraph column with text vertically aligned at the bottom. Requires array package. TFParagraph column with text vertically aligned at the middle. Requires array package. U:Paragraph column with text vertically aligned at the top. VRight-justified column. WCentered column. XLeft-justified column. YHorizontal position. ]Vertical position. aType of labels. b!Page styles are represented by a . c#Package names are represented by a . d!Class names are represented by a . eCreate a label from its name. fGet the name of a label. PQRSTUVWXYZ[\]^_`aWbcdefXYZ[\"#$%&'()PQRSTUVWXYZ[\]^_`abcdefdcbaef]`_^Y\[ZPXWVUTSRQ")('&%$#PXWVUTSRQY\[Z]`_^aWbcdefXYZ[\  Safe-InferredgAMSFonts package.  Example:  usepackage [] amsfonts h/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. ghghghgh  Safe-InferrediInputenc package.  Example:  usepackage [utf8] inputenc jUTF-8 encoding. kLatin-1 encoding. ijkijkijkijk Safe-Inferred5lLaTeX available paper types. ~#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. It does not work for  a document of the  class. :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.   The point of   is to include text that will  not9 be parsed as LaTeX in any way at all, but should simply 8 appear as given in the document, in a separate display  in typewriter font.  7Include 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 4 in e.g. section titles or other command-arguments. Unlike  5, which LaTeX implements as an ordinary environment,  its command  2 uses a syntax trick to avoid braking its parsing J 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 M has string literals with their own escaping possibilities; instead, we make H it secure by automatically choosing a delimiter that does not turn up  in the given string. +Set the given argument to monospaced font. *Set the given argument to bold font face. -Set the given argument to small caps format. #The #X environment can be used to typeset tables with optional horizontal and vertical lines. $Column separator. %Horizontal line. &Cell taking multiple columns. ' 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 logo, beside the complete version number. lmnopqrstuvwxyz{|}~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 _. 3Table specification of columns and vertical lines. Table content. See $, , % and '. Resulting table syntax. $%&'()*+,Optional lifting. Width. Height. -./0123^_` lmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123~l}|{zyxwvutsrqponm-. /!"      (*)+,0123#$%'&l}|{zyxwvutsrqponm~     ] !"#$%&'()*+,-./0123^_` Safe-Inferred4Type synonym for empty 5 computations. 5a monad transformer applied to  values. bPair a value with c. 6 Running a 5 computation returns the final  value  and either a  if the computation didn't contain any value " or the value itself otherwise. 7!This is the usual way to run the 5 monad  and obtain a  value.  $ execLaTeXT = liftM snd . runLaTeXT If  anExample0 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 8 Version of 7! with possible warning messages.  This function applies D to the  output. 9This function run a 5 computation, * lifting the result again in the monad. : Executes a 5$ computation, embedding it again in  the 5 monad.  * extractLaTeX_ = liftM snd . extractLaTeX 9This function was heavily used in the past by HaTeX-meta  to generate those .Monad modules. The current purpose  is to implement the , instance of 5, which  is closely related. ;With ; you can append  values to the  state of the 5 monad. <Lift a function over  values to a function  acting over the state of a 5 computation. =Lift an operator over  values to an operator  acting over the state of two 5 computations. 3Note: The returned value is the one returned by the  'second argument of the lifted operator. > Just like O , but with 5 output. " rendertexM = textell . rendertex ?The d method of the 5 monad. @ Function @$ 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 @. e = f. gBe careful when using  over a 5 value, 9 the returned value of the computation is bottom (i.e. h). 45ijb6789:;<=>?@egklmnop456789:;<=>?@546789:;><=?@45ijb6789:;<=>?@egklmnop  Safe-InferredA-Class of types that can be pretty-printed as  values. ABqrstuvwxyzABAB ABqrstuvwxyz  Safe-Inferred C0Header and footer settings of a LaTeX document.  Use O to apply these settings 1 in your document. A default value is provided  by N, which you can modify  using record syntax.  mySettings :: HdrSettings ! mySettings = defaultHdrSettings ' { centerHeader = "Amazing header"  , headRuleWidth = Pt 2  } MThe fancyhdr package.  Please, consider to use O . instead of importing the package manually. - If you really want to do it manually, use  the functions from the  raw interface  exposed below. N$Default header and footer settings. #It leaves everything empty but the  I field, which is filled  with . Also, it sets to 0.4 points  the K field. O-Apply custom header and footer settings to a 6 LaTeX document. It takes care of package importing 3 and page style settings, so using this function * is enough to get the settings applied.  Do not import the M package again.  To be used in the preamble. PPage style of the M package. QSet the left header. RSet the center header. SSet the right header. TSet the left footer. USet the center footer. VSet the right footer. WSet the  headrulewidth attribute. XSet the  footrulewidth attribute. CDEFGHIJKLMNOPQRSTUVWXCDEFGHIJKLMNOPQRSTUVWXMCDEFGHIJKLNOPQRSTUVWX C DEFGHIJKLMNOPQRSTUVWX Safe-InferredYDifferent styles for `s. ^AMSThm 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." `Use a environment created by _. aThe a* environment. The first optional argument / is used to put a custom title to the proof. b Insert the QED symbol. c;Set the theorem style. Call this function in the preamble. YZ[\]^_`abc{ YZ[\]^_`abc ^_`abY]\[ZcY]\[Z^_`abc{ Safe-Inferred'dA d of a presentation. See . ) A preview of each one is given below. h Dhttp://daniel-diaz.github.io/projects/hatex/beamer/previewWarsaw.png i Dhttp://daniel-diaz.github.io/projects/hatex/beamer/previewSzeged.png j Ghttp://daniel-diaz.github.io/projects/hatex/beamer/previewSingapore.png k Ghttp://daniel-diaz.github.io/projects/hatex/beamer/previewRochester.png l Hhttp://daniel-diaz.github.io/projects/hatex/beamer/previewPittsburgh.png m Fhttp://daniel-diaz.github.io/projects/hatex/beamer/previewPaloAlto.png n Ihttp://daniel-diaz.github.io/projects/hatex/beamer/previewMontpellier.png o Ehttp://daniel-diaz.github.io/projects/hatex/beamer/previewMarburg.png p Dhttp://daniel-diaz.github.io/projects/hatex/beamer/previewMalmoe.png q Dhttp://daniel-diaz.github.io/projects/hatex/beamer/previewMadrid.png r Ehttp://daniel-diaz.github.io/projects/hatex/beamer/previewLuebeck.png s Ihttp://daniel-diaz.github.io/projects/hatex/beamer/previewJuanLesPins.png t Ehttp://daniel-diaz.github.io/projects/hatex/beamer/previewIlmenau.png u Fhttp://daniel-diaz.github.io/projects/hatex/beamer/previewHannover.png v Hhttp://daniel-diaz.github.io/projects/hatex/beamer/previewGoettingen.png w Ghttp://daniel-diaz.github.io/projects/hatex/beamer/previewFrankfurt.png x Ehttp://daniel-diaz.github.io/projects/hatex/beamer/previewDresden.png y Ghttp://daniel-diaz.github.io/projects/hatex/beamer/previewDarmstadt.png z Hhttp://daniel-diaz.github.io/projects/hatex/beamer/previewCopenhagen.png { Ihttp://daniel-diaz.github.io/projects/hatex/beamer/previewCambridgeUS.png | Fhttp://daniel-diaz.github.io/projects/hatex/beamer/previewBoadilla.png } Dhttp://daniel-diaz.github.io/projects/hatex/beamer/previewBerlin.png ~ Fhttp://daniel-diaz.github.io/projects/hatex/beamer/previewBerkeley.png  Dhttp://daniel-diaz.github.io/projects/hatex/beamer/previewBergen.png  Ehttp://daniel-diaz.github.io/projects/hatex/beamer/previewAntibes.png  Fhttp://daniel-diaz.github.io/projects/hatex/beamer/previewAnnArbor.png %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 $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 d2 employed in your presentation (in the preamble). 0defghijklmnopqrstuvwxyz{|}~Title for the block Content of the block Result |}.defghijklmnopqrstuvwxyz{|}~.d~}|{zyxwvutsrqponmlkjihgfed~}|{zyxwvutsrqponmlkjihgfe|} Safe-Inferred Other predefined colors. @Specify your own color using one of the different color models. Basic colors. Color specification. 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. ^~ZZ;~ Safe-InferredIInclude 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 Package option of the  package. Package option of the  package. Package option of the  package. "Include an image in the document. 2Rotate the content by the given angle in degrees. QScale the content by the given factor. If only the horizontal scale is supplied, * the vertical scaling will be the same. "Reflect horizontally the content. 2Resize the content to match the given dimensions. Options  Image file Horizontal scale. Vertical scale. Horizontal size. Vertical size.   Safe-InferredThe  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.  = .           Safe-Inferred 1Different types of actions that can be performed  with a . See / for more information. A Tik Z script. Parameters to use in a 0 to change how things # are rendered within that scope. Angle is in degrees. 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 = 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. Let y = Ellipse x r1 r2.  Operation:* 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 = 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 = 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 = 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 = 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 = Start p.  Operation:# Set the starting point of a path.  Last point: The last point of y is p. %A point in TikZ. ),Makes a point relative to the previous one. +"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. 7It is possible to stack different effects in the list. Example of usage:  7 path [Draw] $ Start (pointAtXY 0 0) ->- pointAtXY 1 1 2Most common usages are exported as functions. See  2, 3, 4, 5, 6 and  7. 0Applies a scope to a Tik Z script. 1Sequence two Tik Z scripts. 2Equivalent to  path [Draw]. 3Equivalent to  path [Fill]. 4Equivalent to  path [Clip]. 5Equivalent to  path [Shade]. 6Equivalent to path [Fill,Draw]. 7Equivalent to path [Shade,Draw]. =    !"#$%&'()*+,-./012345676    !"#$%&'()*+,-./012345676%&'()*$#"! +,-./0   1234567!   $#"! %&'()*+,-./01234567 Safe-Inferred8Use a  path builder to construct a value of type .  Use @ for this purpose. :.Line from the current point to the given one. ;DRectangle with the current point as one cornder and the given point  as the opposite corner. <<Circle with the given radius centered at the current point. =FEllipse with width and height described by the arguments and centered  at the current point. ?$Text centered at the current point. @Build a path using a starting point and a 8. 89:;<=Half width of the ellipse. Half height of the ellipse. >?@ 89:;<=>?@ 8@:9;<=?>89:;<=>?@ Safe-InferredA Import the A' package to use the functions exported 9 by this module. For example, adding this line to your  document preamble:  usepackage [] tikz BTransform a TikZ script to a  block. ABA    !"#$%&'()*+,-./0123456789:;<=>?@ABABAB Safe-InferredCA figure in the plane. D(A figure composed by a list of figures. E Rotate a C by a given angle (in radians). FScaling of the given C by a factor. GLine width for the given C. HColor for the given C. I Insert some  code, centered at the given S. E The text should not be very complex to fit nicely in the picture. JSame as K, but filled with some color. K3Ellipse centered at the given point with width and ) height given by the other parameters. LAs in M), but it will be filled with some color. M:Circle centered at the given point with the given radius. NSame as O, but filled with color. O7Rectangle with top-right corner at the given point and 3 width and height given by the other parameters. PSame as Q0, but the inner side will be filled with color. Q?Line along a list of points, but the last point will be joined  with the first one. RLine along a list of points. SA point in the plane. T Translate a C to a  script. UThe figure of a path. A path8 (in this context) means a function from an interval to N the plane. The image of such a function is what this function returns as a C. G An additional argument is needed to set the precision of the curve. XThe actual implementation builds a spline of degree one joining different points of the % image. Given that the interval is (a,b) 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).  The smaller is 2, the closer is the figure to the original image. .Here is an example with a logarithmic spiral.  6http://daniel-diaz.github.io/projects/hatex/spiral.png  spiral :: Figure  spiral = LineWidth (Pt 2) $  pathImage 0.01 (0,4) $ % \t -> ( a * exp t * cos (b*t) % , a * exp t * sin (b*t)  )  where  a = 0.1 ; b = 4 CDEFGHIJKLMNOPQRSTUPrecision argument, .  Interval, (a,b). Path function, f. Output figure. 1ABCDEFGHIJKLMNOPQRSTUACRQPONMLKJIHGFEDSUT1BCRQPONMLKJIHGFEDSTU Safe-Inferred)STUV "#$%&'()*+HIJKLMNOPQRSTUVWXYZ[\]^_`abcdeflmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@AB*+NoneVAMSMath package.  Example:  usepackage [] amsmath W!Inline mathematical expressions. X<Displayed mathematical expressions, i.e. in a seperate line / block. Y/A reference to a numbered equation. Use with a 1 defined in the # scope of the equation refered to. ZYPrevent an equation from being numbered, where the environment would by default do that. [AA numbered mathematical equation (or otherwise math expression). \The unnumbered variant of [. ]#An array of aligned equations. Use $# to specify the points that should D horizontally match. Each equation is numbered, unless prevented by Z. ^The unnumbered variant of ]. _=Surround a LaTeX math expression by parentheses whose height % automatically matches the expression's. Translates to \left(...\right). `Like _*, but with square brackets. Equivalent to c"[""]". aLike _, but with curly brackets. bLike _1, but with angle brackets #) ... #*. Equivalent to c d e. cIUse custom LaTeX expressions as auto-scaled delimiters to surround math. B Suitable delimiters include |...| (absolute value), ...  (norm,  j), #  ...# (round-off Gauss brackets, f / g) etc.. dLeft angle bracket, #). eRight angle bracket, #*. f Left floor, # . gRight floor, # . hLeft ceiling, #. iRight ceiling, # . j=Double vertical line, used as delimiter for norms (  ... ). k Superscript. l Subscript. mSine function symbol. nArcsine function symbol. oCosine function symbol. pArccosine function symbol. qTangent function symbol. rArctangent function symbol. sCotangent function symbol. tArccotangent function symbol. u!Hyperbolic sine function symbol. v#Hyperbolic cosine function symbol. w$Hyperbolic tangent function symbol. x&Hyperbolic cotangent function symbol. ySecant function symbol. zCosecant 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 c6 is supplied, the function will output a square root. Sigma sumation symbol. #Sigma sumation symbol with limits. Pi product symbol. Pi product symbol with limits. Integral symbol. ,Integral symbol with limits of integration. Negative form of an operator. Plus-or-minus operator (). Minus-or-plus operator ("). Centered-dot operator ("). "x-cross" multiplication operator (). Division operator. Fraction operator. 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 (").  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 (").  symbol.  symbol.  symbol.   symbol.  symbol.   symbol.  symbol.  symbol.  symbol.  symbol.  symbol.  symbol.   symbol.  symbol.  symbol.  symbol.   symbol.  symbol.  symbol.  symbol.   symbol.  symbol.  symbol.   symbol.  symbol.  symbol.  symbol.  symbol.   symbol.  symbol.  symbol.   symbol.  symbol.  symbol.   symbol.  symbol.  symbol.   symbol.  symbol.   symbol. A right-arrow, !. +A right-arrow for function definitions, !. For all symbol, ". Exists symbol, ". Dagger symbol, . Double dagger symbol, !. Default math symbol font.  Bold face. Roman, i.e. not-italic math. Calligraphic math symbols. Sans-serif math. Typewriter font. %Italic math. Uses the same glyphs as , but with spacings _ intended for multi-character symbols rather than juxtaposition of single-character symbols. "LaTeX rendering of a matrix using pmatrix( and a custom function to render cells. I Optional argument sets the alignment of the cells. Default (providing c)  is centered.  ( M ) "LaTeX rendering of a matrix using bmatrix( and a custom function to render cells. I Optional argument sets the alignment of the cells. Default (providing c)  is centered.  [ M ] "LaTeX rendering of a matrix using Bmatrix( and a custom function to render cells. I Optional argument sets the alignment of the cells. Default (providing c)  is centered.  { M } "LaTeX rendering of a matrix using vmatrix( and a custom function to render cells. I Optional argument sets the alignment of the cells. Default (providing c)  is centered.  | M | "LaTeX rendering of a matrix using Vmatrix( and a custom function to render cells. I Optional argument sets the alignment of the cells. Default (providing c)  is centered.  || M || 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 . Division uses the LaTeX  command. Careful! Method  is undefined. Don' t use it! +Warning: this instance only exists for the  instance. +Warning: this instance only exists for the  instance. Undefined methods: ,  and . Division uses the LaTeX  command. Careful! Method  is undefined. Don' t use it! VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Expression below the sigma. Expression above the sigma. Expression below the pi. Expression above the pi. Lower limit of integration. Upper limit of integration. VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~VWX[\]^YZ_`abcdefghijklmnopqrstuvwxyz{|}~VWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ Safe-Inferred-Language configuration. You may use one with .  Languages.  Ukranian.  Spanish.  Russian.  Portuguese.  Hungarian.  Italian.  Icelandic.  New German.  Old German. French. French. Parisian French.  Finnish.  English. Dutch. Czech. Canadian French. Brazilian Portuguese.  Bulgarian. ?Babel package. When writing in a single language, the simplest  way of using it is with . LIn the preamble, use the following (if your language of choice is Spanish):   uselanguage Spanish 0To see a list of available languages, check the  type.  Import the  package using a given .  + uselanguage l = usepackage [texy l] babel 9If you are using more than one language, consider to use  .  Import the 1 package using a given language 5 configuration, featuring a main language and some  others. For example:  - uselanguageconf $ LangConf English [German] 3This 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 R phrase to be typeset according to the rules of the language named in its first  argument.   Safe-InferredFont encodings. The fontenc package.  It is recommended to use the  function  to import it. ;In the preamble, select encodings to use in your document. 7 The last one will be the default encoding. Example:   useencoding [T1] It imports the fontenc package. In fact: 4 useencoding xs = usepackage (fmap texy xs) fontenc  Safe-InferredThe  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 I as rendering function. Instance defined in Text.LaTeX.Packages.Trees.Qtree.   Safe-Inferred)STUV "#$%&'()*+HIJKLMNOPQRSTUVWXYZ[\]^_`abcdeflmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@AB !"#!"$!"%!"&!"'()*(+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrst u v w x y z { | } ~                  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcde f g h h i j k l m n o p q r s t u v w x y z { |}~      !"#$%&'()*+,-./0123456789:;<=>?@.ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijk lBmCnDopEqrstuvwxyz{|}~      !"#$%&'()*+,-./01!234!5678!59:;<=>?@ABCDEFGHIJKLMNOYPuQRSTUVWXYZ[\]^_`a!bcdefghijklmno!pq!pr!ps!pt  u v w x yz{|}(~!!2!2!Z          de"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!!!!! HaTeX-3.7.0.0Text.LaTeX.Base.RenderText.LaTeX.Base.SyntaxText.LaTeX.Base.ClassText.LaTeX.Base.WriterText.LaTeX.Packages.TreesText.LaTeX.Base.CommandsText.LaTeX.Base.ParserText.LaTeX.Base.WarningsText.LaTeX.Base.TypesText.LaTeX.Packages.AMSFontsText.LaTeX.Packages.InputencText.LaTeX.Base.TexyText.LaTeX.Packages.FancyhdrText.LaTeX.Packages.AMSThmText.LaTeX.Packages.BeamerText.LaTeX.Packages.ColorText.LaTeX.Packages.GraphicxText.LaTeX.Packages.HyperrefText.LaTeX.Packages.TikZ.Syntax$Text.LaTeX.Packages.TikZ.PathBuilderText.LaTeX.Packages.TikZText.LaTeX.Packages.TikZ.SimpleText.LaTeX.Packages.AMSMathText.LaTeX.Packages.BabelText.LaTeX.Packages.FontencText.LaTeX.Packages.Trees.Qtree Paths_HaTeXText.LaTeX.Base Text.LaTeX text-0.11.3.1Data.Text.InternalTextbase Data.Monoid<>mconcatmappendmemptyMonoidtransformers-0.3.0.0Control.Monad.IO.ClassliftIOControl.Monad.Trans.ClassliftTreeNodeLeafversionTeXArgMSymArgSymArgMOptArgFixArgOptArgLaTeXTeXEmptyTeXSeq TeXComment TeXBracesTeXOp TeXLineBreakTeXMathTeXEnvTeXCommSTeXCommTeXRawMathTypeDollarSquare ParenthesesMeasure CustomMeasureEmExInCmMmPt protectString protectTextLaTeXC liftListL fromLaTeXliftLliftL2liftL3comm0comm1commSbraces latexAtOnce latexParserlatexBlockParserlatexDocParser isMainDocTeXCheckcheckWarning CustomWarningNoDocumentInsertedNoClassSelectedUndefinedLabel UnusedLabelcheckFromFunctioncheckAll checkClasscheckDoc checkLabelsRenderrender renderAppend renderChars renderCommas renderFile readFileTex rendertex TableSpec DVerticalLine VerticalLine ParColumnBot ParColumnMid ParColumnTop RightColumn CenterColumn LeftColumnHPosHRightHCenterHLeftPosTopCenterBottomLabel PageStyle PackageName ClassName createLabel labelNameamsfontsmathbbinputencutf8latin1 PaperTypeLegal ExecutiveLetterB6B5B4B3B2B1B0A6A5A4A3A2A1A0 ClassOption CustomOptionPaperFontSizeLeqnoFleqnOpenAny OpenRight LandscapeTwoSideOneSide TwoColumn OneColumn NoTitlePage TitlePageDraftrawbetweencomment%: maketitletitledateauthor institutethanks usepackagelatexparnewlinepartchaptersection subsection subsubsection paragraph subparagraphtableofcontentsappendixitem enumerateitemize description flushleft flushrightcenterquoteverseminipagefigureabstractcite customopt documentclassarticleprocminimalreportbookslidesa0papera1papera2papera3papera4papera5papera6paperb0paperb1paperb2paperb3paperb4paperb5paperb6paper letterpaperexecutivepaper legalpaperdraftfleqnleqno titlepage notitlepage onecolumn twocolumnonesidetwoside landscape openrightopenanydocument pagenumberingarabicromanroman_alphalph_ pagestyle thispagestyleplainheadingsempty myheadingsmarkboth markrightlnbklnbk_hypcleardoublepage clearpagenewpage linebreak nolinebreak nopagebreak pagebreak hyphenationmboxfboxtodaythePagetexlaTeX2laTeXeldotsvdotsddotsqtsfootnote linespreadindentnoindenthspacehspace_stretchvspacehfillvfillprotect textwidth linewidthverbatimverb underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipbigskiptabular&hline multicolumnclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_versioncaptionlabelrefpagerefLaTeXT_LaTeXT runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp rendertexM throwErrormerrorTexytexy HdrSettings leftHeader centerHeader rightHeader leftFooter centerFooter rightFooter headRuleWidth footRuleWidthfancyhdrdefaultHdrSettingsapplyHdrSettingsfancylheadcheadrheadlfootcfootrfootrenewheadrulewidthrenewfootrulewidth TheoremStyleCustomThmStyleRemark DefinitionPlainamsthm newtheoremtheoremproofqedhere theoremstyleTheme CustomThemeDefaultBoxesWarsawSzeged Singapore Rochester PittsburghPaloAlto MontpellierMarburgMalmoeMadridLuebeck JuanLesPinsIlmenauHannover Goettingen FrankfurtDresden Darmstadt Copenhagen CambridgeUSBoadillaBerlinBerkeleyBergenAntibesAnnArbor OverlaySpec FromToSlideToSlide FromSlideOneSlidebeamerframe frametitle framesubtitlealertpause beameritemuncoveronlyblockusetheme 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 resizeboxURL HRefOptionHRefPage PDFNewWindowPDFRemoteStartViewhyperref createURLhrefurl nolinkurl hyperbaseurl hyperimageautoref ActionTypeShadeClipFillDrawTikZ ParameterTRotateTScaleTColorTWidthStep PointStepXYStepDimStep GridOptionGridStepTPathGridEllipseCircle RectangleLineCycleStartTPointpointAt pointAtXY pointAtXYZrelPoint relPoint_ startingPoint lastPoint->- emptytikzpathscope->>drawfillclipshadefilldraw shadedraw PathBuilderpcycleline rectanglecircleellipsegridnodebpathtikz tikzpictureFigureFiguresRotateScale LineWidthColored EllipseFilled CircleFilledRectangleFilled PolygonFilledPolygonPoint figuretikz pathImageamsmathmath mathDisplayeqrefnonumberequation equation_alignalign_ autoParensautoSquareBrackets autoBracesautoAngleBrackets autoBracketslangleranglelfloorrfloorlceilrceildblPipe^:!:tsinarcsintcosarccosttanarctancotarccottsinhtcoshttanhcothseccsctexptloglntsqrttsum sumFromToprod prodFromTointegralintegralFromTopmmpcdottimesdiv_frac*:starcircbullet=:/=:>:>=:<:<=:llggproptoequivin_ninotinsubsetsupsetcapcupsetminusveewedgeoplusominusotimesoslashodotalphabetagammagammaudeltadeltauepsilon varepsilonzetaetathetavarthetathetauiotakappalambdalambdaumunuxixiupi_varpipiurhovarrhosigmavarsigmasigmautauupsilonupsilonuphivarphiphiuchipsipsiuomegaomegautomapstoforallexistsdaggerddagger mathdefaultmathbfmathrmmathcalmathsfmathttmathitpmatrixbmatrixb2matrixvmatrixv2matrixLangConfmainLang otherLangsLanguageUkranianSpanishRussian PortugueseMagyarItalian IcelandicNGermanGermanFrenchBFrenchFrancaisFinnishEnglishDutchCzechCanadien Brazilian Bulgarianbabel uselanguageuselanguageconfselectlanguage otherlanguageforeignlanguageFontEncOT1T1fontenc useencodingqtreetree rendertree$fTraversableTree$fFoldableTree $fFunctorTreecatchIObindirlibdirdatadir libexecdir getBinDir getLibDir getDataDir getLibexecDirgetDataFileNameGHC.BaseString$fIsStringLaTeX Data.String fromString $fMonoidLaTeX protectCharIsString $fLaTeXCLaTeXblocks blockTillDoctexttext2 environmentanonymenvenvNameenvBodycommandcmdArgscmdArg whitespacespeciallbreakmeasureunitlbracerbracevertbracedolMath isSpecialendCmdspecialsLabStLabWarnLabelRef LabelNoRef RefNoLabelBoolStTC classcheckdocchecklabWarnToWarninglabchecknewlabnewref$fMonoidTeXCheckGHC.ShowShowghc-prim GHC.TypesChar $fRenderText $fRender[]$fRenderDouble $fRenderFloat$fRenderInteger $fRenderInt$fRenderTeXArg $fRenderLaTeX$fRenderMeasure Data.Listunwordswordsunlineslines$fRenderTableSpec $fRenderHPos $fRenderPos$fIsStringLabel $fRenderLabelsizecomm$fRenderPaperType$fIsStringClassOption$fRenderClassOptionControl.Monad.Trans.Writer.LazyWriterTpairNoth Data.MaybeNothingfail$fMonoidLaTeXT>>$fIsStringLaTeXTGHC.Err undefined unwrapLaTeXT$fLaTeXCLaTeXT$fMonadIOLaTeXT $fMonadLaTeXT$fMonadTransLaTeXT$fApplicativeLaTeXT$fFunctorLaTeXT $fTexyMeasure $fTexyBool $fTexyFixed $fTexyChar $fTexyDouble $fTexyFloat $fTexyInteger $fTexyInt $fTexyText $fTexyLaTeX$fRenderTheoremStyle $fRenderTheme$fRenderOverlaySpec$fRenderColSpec$fRenderColorName$fRenderColorModel $fRenderColorTrue$fRenderIGOption $fIsStringURL $fRenderURL$fRenderHRefOptionTikZSeqScope PathAction RelPoint_RelPointXYZPointXYPointDimPoint renderPair$fRenderActionType $fRenderTikZ$fRenderParameter $fRenderStep$fRenderGridOption $fRenderTPath$fRenderTPointPB pathBuilder PathStatePS currentPath applyToPath$fMonadPathBuilder$fApplicativePathBuilder$fFunctorPathBuilder castpointradiansToDegreesgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetFirstFirstgetLastLastnotop$fTexy[] $fTexyMatrix $fTexy(,,,) $fTexy(,,) $fTexy(,) $fTexyRatio$fFloatingLaTeXT GHC.Floatasinhatanhacosh$fFractionalLaTeXT $fNumLaTeXTGHC.Numsignum $fShowLaTeXTNum $fEqLaTeXT$fFloatingLaTeX$fFractionalLaTeX $fNumLaTeX matrix2textoMatrix$fTexyLanguage$fRenderLanguage $fTexyFontEnc$fRenderFontEnc $fTexyTreetree_