!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVW X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r stuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJK L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b cdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      Safe-InferredTree datatype. Node values are optional. Leafs are non-empty.  Safe-Inferred     None' An argument for a  command or environment.  Version of   with multiple options. An argument enclosed between < and >. Multiple optional argument. Optional argument. Fixed 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 . * Look into a 2 syntax tree to find any call to the command with J the given name. It returns a list of arguments with which this command  is called.  5 lookForCommand = (fmap snd .) . matchCommand . (==) CIf the returned list is empty, the command was not found. However, G 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 *, 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 / syntax tree and returns the environments (see  @) that matches the condition, their arguments and their content  in each call. . The function .- looks for subexpressions that match a given - condition and applies a function to them. 1 texmap c f = runIdentity . texmapM c (pure . f) / Version of .( where the function returns values in a  . 0Extract the content of the document environment, if present. 1Extract the preamble of a ! document (everything before the document $ environment). It could be empty. !Method ") escapes LaTeX reserved characters using (. #Method L is strict in both arguments (except in the case when the first argument is ). -  !"#$%&'()$*Name 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. 01!#)  !"#$%&'()*+,-./01) '&%$#"!  ()+*-,./01    '&%$#"!()$*+%,-&./01!#None 2This is the class of  code generators. It has  and ' as  superclasses. 39This 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. 4Map a  value to its equivalent in any 2 instance. 5Lift a inner function of  values into any 2 instance. 6 Variant of 5 with a two arguments function. 7 Variant of 5" with a three arguments function. 89A simple (without arguments) and handy command generator " using the name of the command. ( comm0 str = fromLaTeX $ TeXComm str [] 9AA 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] :Like 8 but using  , i.e. no "{}" will be inserted to protect  the command's end.  commS = fromLaTeX . TeXCommS ;A lifted version of the  constructor.  braces = liftL TeXBraces (This instance just sets liftListL = id. 23456789:;(23456789:;23456789:; 23456789:;(portable experimentalNone< Parses a Text sequence at once;  may fail or conclude. =The incremental LaTeX Parser >.Incremental Parser for single blocks of LaTeX ?-Incremental Parser that terminates after the document envionment @ Test if a  block is a document environment. #<=>?)*@+,-./0123456789:;<=>?@ABCDEF<=>?@=><?@#<=>?)*@+,-./0123456789:;<=>?@ABCDEFNone AA A4 is a function that checks possible warnings from a  value.  Use the & instance to combine check functions. BApply a checking. CList of possible warnings. D9Custom warning for custom checkings. Use it as you want. ENo document inserted. FNo class selected with  documentclass. GCThere is a reference to an undefined label. Arguments is the name. H0There is an unused label. Argument is its name. IBuild a A from a function. J Check with M, K and L. K?Check if a document class is specified for the document (using  documentclass). L Check if the document environment is called in a . M>Checking for unused labels or references tu undefined labels. GHIJKLAMBCDEFGHIJKNLOPMQRST ABCDEFGHIJKLMCHGFEDABBIMKLJGHKJILAMBCHGFEDIJKNLOPMQRSTNoneO+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 T. Consider also to use V to get O able values  into  blocks. 'If you want to make a type instance of O and you already  have a U- instance, you can use the default instance.  render = fromString . show Q3Render every element of a list and append results. R3Render every element of a list and append results,  separated by the given V. S3Render every element of a list and append results,  separated by commas. TUse this function to render a  (or another  one in the O class) value directly  in a file. U1If you are going to insert the content of a file  in your # data, use this function to ensure  your encoding is correct. V If you can transform a value to  , you can  insert that  in your  code. $ That is what this function does.  Warning: V+ does not escape LaTeX reserved characters.  Use ) to escape them. W1This instance escapes LaTeX reserved characters. OPQRSTUVXYZ[\]^_W"'`abcOPQRSTUV OPQRSTVUOPQRSTUVXYZ[\]^_W NoneWType of table specifications. X*Double vertical line between two columns. Y#Vertical line between two columns. ZFParagraph column with text vertically aligned at the bottom. Requires array package. [FParagraph column with text vertically aligned at the middle. Requires array package. \:Paragraph column with text vertically aligned at the top. ]Right-justified column. ^Centered column. _Left-justified column. `Horizontal position. dVertical position. hType of labels. i!Page styles are represented by a . j#Package names are represented by a . k!Class names are represented by a . lCreate a label from its name. mGet the name of a label. WXYZ[\]^_`abcdefghdijklmefghi !"#$%&'WXYZ[\]^_`abcdefghijklmkjihlmdgfe`cbaW_^]\[ZYX '&%$#"!W_^]\[ZYX`cbadgfehdijklmefghi NonenAMSFonts package.  Example:  usepackage [] amsfonts o/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. nononono NonepInputenc package.  Example:  usepackage [utf8] inputenc qUTF-8 encoding. rLatin-1 encoding. pqrpqrpqrpqrNoneGsLaTeX 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. ! between c l1 l2 = l1 <> c <> l2 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 F for completeness. It may be useful for debugging the output as well. -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. Start a new subsection. Start a new subsub section. Start a paragraph. 4Start a subparagraph (minimal level of sectioning). 6Create the table of contents, automatically generated  from your s, s, and other related stuff. An item of a list (see  or ). 6 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. Abstract section. 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. The 0 environment contains the body of the document. 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. %Render the date at compilation time. Render the current page.  TeX logo.  LaTeX logo. Horizontal dots. Vertical dots. Diagonal dots. Quotation marks.  )Fill out all available horizontal space.  'Fill out all available vertical space.  The point of  is to include text that will  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. 3Produce a simple black box. 4Print the HaTeX logo. 5Print the HaTeX 3 logo. 6:Print 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. stuvwxyz{|}~Optional position Width Minipage content Optional position Figure content Class options  Class name      j !"#$%&'()*SThis optional parameter can be used to specify the vertical position of the table.  Defaulted to f. 3Table specification of columns and vertical lines. Table content. See +, , , and .. Resulting table syntax. +,-./0123Optional lifting. Width. Height. 456789:;<klm stuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<s~}|{zyxwvut45 6    () !"#$%&'/1023789:*+,.- ;<s~}|{zyxwvut     j !"#$%&'()*+,-./0123456789:;<klmNone>Type synonym for empty ? computations. ?n monad transformer applied to  values. oPair a value with p. @ Running a ? computation returns the final  value  and either a  if the computation didn't contain any value " or the value itself otherwise. A!This is the usual way to run the ? 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 B Version of A! with possible warning messages.  This function applies J to the  output. CThis function run a ? computation, * lifting the result again in the monad. D Executes a ?$ computation, embedding it again in  the ? 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 2 instance of ?, which  is closely related. EWith E you can append  values to the  state of the ? monad. FLift a function over  values to a function  acting over the state of a ? computation. GLift an operator over  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. H Just like V , but with ? output. " rendertexM = textell . rendertex IThe q method of the ? monad. J Function J$ 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 J. r = s. tBe careful when using " over a ? value, 9 the returned value of the computation is bottom (i.e. u). >?vwo@ABCDEFGHIJrtxyz{|}N=>?@ABCDEFGHIJ?>@ABCDEHFGIJ=N>?vwo@ABCDEFGHIJrtxyz{|} NoneK-Class of types that can be pretty-printed as  values. KL~KLKL KL~ None M0Header and footer settings of a LaTeX document.  Use Y to apply these settings 1 in your document. A default value is provided  by X, which you can modify  using record syntax.  mySettings :: HdrSettings ! mySettings = defaultHdrSettings ' { centerHeader = "Amazing header"  , headRuleWidth = Pt 2  } WThe fancyhdr package.  Please, consider to use Y . instead of importing the package manually. - If you really want to do it manually, use  the functions from the  raw interface  exposed below. X$Default header and footer settings. #It leaves everything empty but the  S field, which is filled  with . Also, it sets to 0.4 points  the U field. Y-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 W package again.  To be used in the preamble. ZPage style of the W package. [Set the left header. \Set the center header. ]Set the right header. ^Set the left footer. _Set the center footer. `Set the right footer. aSet the  headrulewidth attribute. bSet the  footrulewidth attribute. MNOPQRSTUVWXYZ[\]^_`abMNOPQRSTUVWXYZ[\]^_`abWMNOPQRSTUVXYZ[\]^_`ab M NOPQRSTUVWXYZ[\]^_`abNonecDifferent styles for js. hAMSThm package.  Example:  usepackage [] amsthm i Create a new j environment type. = Arguments are environment name (this will be the argument  when using the j$ function) and the displayed title.  For example:  ! newtheorem "prop" "Proposition"  theorem "prop" "This is it." jUse a environment created by i. kThe k* environment. The first optional argument / is used to put a custom title to the proof. l Insert the QED symbol. m;Set the theorem style. Call this function in the preamble. cdefghijklm cdefghijklm hijklcgfedmcgfedhijklmNone'nA n of a presentation. See . ) A preview of each one is given below. r "docfiles/beamers/previewWarsaw.png s "docfiles/beamers/previewSzeged.png t %docfiles/beamers/previewSingapore.png u %docfiles/beamers/previewRochester.png v &docfiles/beamers/previewPittsburgh.png w $docfiles/beamers/previewPaloAlto.png x 'docfiles/beamers/previewMontpellier.png y #docfiles/beamers/previewMarburg.png z "docfiles/beamers/previewMalmoe.png { "docfiles/beamers/previewMadrid.png | #docfiles/beamers/previewLuebeck.png } 'docfiles/beamers/previewJuanLesPins.png ~ #docfiles/beamers/previewIlmenau.png  $docfiles/beamers/previewHannover.png  &docfiles/beamers/previewGoettingen.png  %docfiles/beamers/previewFrankfurt.png  #docfiles/beamers/previewDresden.png  %docfiles/beamers/previewDarmstadt.png  &docfiles/beamers/previewCopenhagen.png  'docfiles/beamers/previewCambridgeUS.png  $docfiles/beamers/previewBoadilla.png  "docfiles/beamers/previewBerlin.png  $docfiles/beamers/previewBerkeley.png  "docfiles/beamers/previewBergen.png  #docfiles/beamers/previewAntibes.png  $docfiles/beamers/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 n2 employed in your presentation (in the preamble). 0nopqrstuvwxyz{|}~Title for the block Content of the block Result .nopqrstuvwxyz{|}~.n~}|{zyxwvutsrqpon~}|{zyxwvutsrqpoNone 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;NoneIInclude 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.  None The   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. " = .                        None1Different types of actions that can be performed  with a &. See 9 for more information. A Tik Z script. Parameters to use in a : 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 5 and 6 to calculate them.  After creating a &, use 9! 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. 3,Makes a point relative to the previous one. 5"Calculate the starting point of a &. 6Calculate the last point of a &. 7 Alias of ,. 8Just an empty script. 9&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  <, =, >, ?, @ and  A. :Applies a scope to a Tik Z script. ;Sequence two Tik Z scripts. <Equivalent to  path [Draw]. =Equivalent to  path [Fill]. >Equivalent to  path [Clip]. ?Equivalent to  path [Shade]. @Equivalent to path [Fill,Draw]. AEquivalent to path [Shade,Draw]. = !"#$%&'()*+,-./0123456789:;<=>?@A6 !"#$%&'()*+,-./0123456789:;<=>?@A6/01234&.-,+*)('$% #"!56789:;<=>?@A! #"!$%&.-,+*)('/0123456789:;<=>?@ANoneBUse a  path builder to construct a value of type &.  Use J for this purpose. D.Line from the current point to the given one. EDRectangle with the current point as one cornder and the given point  as the opposite corner. F<Circle with the given radius centered at the current point. GFEllipse with width and height described by the arguments and centered  at the current point. I$Text centered at the current point. JBuild a path using a starting point and a B. BCDEFGHalf width of the ellipse. Half height of the ellipse. HIJ BCDEFGHIJ BJDCEFGIHBCDEFGHIJNoneK Import the K' package to use the functions exported 9 by this module. For example, adding this line to your  document preamble:  usepackage [] tikz LTransform a TikZ script to a  block. KLA !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLKLKLNoneMA figure in the plane. N(A figure composed by a list of figures. O Rotate a M by a given angle (in radians). PScaling of the given M by a factor. QLine width for the given M. RColor for the given M. S Insert some  code, centered at the given ]. E The text should not be very complex to fit nicely in the picture. TSame as U, but filled with some color. U3Ellipse centered at the given point with width and ) height given by the other parameters. VAs in W), but it will be filled with some color. W:Circle centered at the given point with the given radius. XSame as Y, but filled with color. Y7Rectangle with top-right corner at the given point and 3 width and height given by the other parameters. ZSame as [0, but the inner side will be filled with color. [?Line along a list of points, but the last point will be joined  with the first one. \Line along a list of points. ]A point in the plane. ^ Translate a M to a  script. _The 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 M. 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.  docfiles/tikz/spiral.png  spiral :: Figure  spiral = LineWidth (Pt 2) $  pathImage 0.01 (0,4) $ % \t -> ( a * exp t * cos (b*t) % , a * exp t * sin (b*t)  )  where  a = 0.1 ; b = 4 MNOPQRSTUVWXYZ[\]^_Precision argument, .  Interval, (a,b). Path function, f. Output figure. ;KLMNOPQRSTUVWXYZ[\]^_KM\[ZYXWVUTSRQPON]_^;LM\[ZYXWVUTSRQPON]^_None+"'`abc  !"#$%&'()NOPQRSTUVWXYZ[\]^_`abcdefghijklmstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL()None`AMSMath package.  Example:  usepackage [] amsmath a!Inline mathematical expressions. b<Displayed mathematical expressions, i.e. in a seperate line / block. c/A reference to a numbered equation. Use with a 8 defined in the # scope of the equation refered to. dYPrevent an equation from being numbered, where the environment would by default do that. eAA numbered mathematical equation (or otherwise math expression). fThe unnumbered variant of e. g#An array of aligned equations. Use +# to specify the points that should D horizontally match. Each equation is numbered, unless prevented by d. hThe unnumbered variant of g. i=Surround a LaTeX math expression by parentheses whose height % automatically matches the expression's. Translates to \left(...\right). jLike i*, but with square brackets. Equivalent to m"[""]". kLike i, but with curly brackets. lLike i1, but with angle brackets #) ... #*. Equivalent to m n o. mIUse custom LaTeX expressions as auto-scaled delimiters to surround math. B Suitable delimiters include |...| (absolute value), ...  (norm,  t), #  ...# (round-off Gauss brackets, p / q) etc.. nLeft angle bracket, #). oRight angle bracket, #*. p Left floor, # . qRight floor, # . rLeft ceiling, #. sRight ceiling, # . t=Double vertical line, used as delimiter for norms (  ... ). u Superscript. v Subscript. wSine function symbol. xArcsine function symbol. yCosine function symbol. zArccosine 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 p6 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 p)  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 p)  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 p)  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 p)  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 p)  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 . # 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. +Warning: this instance only exists for the  instance. # This instance is defined in the Text.LaTeX.Packages.AMSMath module. +Warning: this instance only exists for the  instance. # This instance is defined in the Text.LaTeX.Packages.AMSMath module. 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. `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. `abcdefghijklmnopqrstuvwxyz{|}~`abefghcdijklmnopqrstuvwxyz{|}~`abcdefghijklmnopqrstuvwxyz{|}~None-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 8 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.     None Font 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                 NoneThe  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 P as rendering function. Instance defined in Text.LaTeX.Packages.Trees.Qtree. None+"'`abc  !"#$%&'()NOPQRSTUVWXYZ[\]^_`abcdefghijklmstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL !"#!"$!"%!"&!"'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz { | } ~                        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`pabcdefghijklmno p q r r s t u v w x y z { | } ~              !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJ)KLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstu vLwMxNyzO{|}~       !"#$%&'()*+,-./0123456789:;!<=!<>?!@ABCDE!@FGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmn!opqrstuvwxyz{|!}~!}!}!}      p!!<!<!d          qr,!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!"!!!!! HaTeX-3.8.0.0Text.LaTeX.Base.RenderText.LaTeX.Base.SyntaxText.LaTeX.Base.ClassText.LaTeX.Packages.TreesText.LaTeX.Base.CommandsText.LaTeX.Base.ParserText.LaTeX.Base.WarningsText.LaTeX.Base.WriterText.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.2.3Data.Text.InternalTextbase Data.Monoid<>mconcatmappendmemptyMonoidTreeNodeLeafversionTeXArgMSymArgSymArgMOptArgOptArgFixArgLaTeXTeXEmptyTeXSeq TeXComment TeXBracesTeXOp TeXLineBreakTeXMathTeXEnvTeXCommSTeXCommTeXRawMathTypeDollarSquare ParenthesesMeasure CustomMeasureEmExInCmMmPt protectString protectTextlookForCommand matchCommand lookForEnvmatchEnvtexmaptexmapMgetBody getPreambleLaTeXC liftListL fromLaTeXliftLliftL2liftL3comm0comm1commSbraces latexAtOnce latexParserlatexBlockParserlatexDocParser isMainDocTeXCheckcheckWarning CustomWarningNoDocumentInsertedNoClassSelectedUndefinedLabel UnusedLabelcheckFromFunctioncheckAll checkClasscheckDoc checkLabelstransformers-0.3.0.0Control.Monad.IO.ClassliftIORenderrender 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_versioncaptionlabelrefpagerefinputincludeControl.Monad.Trans.ClassliftLaTeXT_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.BaseStringMonad$fIsStringLaTeX Data.String fromString $fMonoidLaTeX protectCharmatchCommandArg matchEnvArgIsString $fLaTeXCLaTeXblocks blockTillDoctexttext2 environmentanonymenvenvNameenvBody bodyBlockcommandcmdArgscmdArgspeciallbreakmeasureunitlbracerbracevertbracedolMath 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_