6      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNO P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i jklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=> ? @ A B C D E F G H I J KLMNOPQRSTUVWXYZ[\]^_`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 [] 3Like 2 but using 3 , i.e. no "{}" will be inserted to protect  the command's end.  commS = fromLaTeX . TeXCommS 4A lifted version of the  constructor.  braces = liftL TeXBraces This instance just sets liftListL = id. ,-./01234 ,-./01234 ,-./01234 ,-./01234portable experimentalNone5 Parses a Text sequence at once;  may fail or conclude. 6The incremental LaTeX Parser 7.Incremental Parser for single blocks of LaTeX 8-Incremental Parser that terminates after the document envionment 9 Test if a  block is a document environment. #56789     5678967589#56789      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. @CThere is a reference to an undefined label. Arguments is the name. A0There is an unused label. Argument is its name. BBuild a : from a function. C Check with F, D and E. D?Check if a document class is specified for the document (using  documentclass). E Check if the document environment is called in a . F>Checking for unused labels or references tu undefined labels. :;<=>?@ABCDEF !" :;<=>?@ABCDEF<A@?>=:;;BFDEC:;<A@?>=BCDEF !" Safe-InferredG+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 L. Consider also to use N to get G able values  into  blocks. 'If you want to make a type instance of G and you already  have a #- instance, you can use the default instance.  render = fromString . show I3Render every element of a list and append results. J3Render every element of a list and append results,  separated by the given $. K3Render every element of a list and append results,  separated by commas. LUse this function to render a  (or another  one in the G class) value directly  in a file. M1If you are going to insert the content of a file  in your # data, use this function to ensure  your encoding is correct. N If you can transform a value to  , you can  insert that  in your  code. $ That is what this function does.  Warning: N+ does not escape LaTeX reserved characters.  Use + to escape them. %1This instance escapes LaTeX reserved characters. GHIJKLMN&'()*+,-%./01GHIJKLMN GHIJKLNMGHIJKLMN&'()*+,-%  Safe-InferredOType of table specifications. P*Double vertical line between two columns. Q#Vertical line between two columns. RFParagraph column with text vertically aligned at the bottom. Requires array package. SFParagraph column with text vertically aligned at the middle. Requires array package. T:Paragraph column with text vertically aligned at the top. URight-justified column. VCentered column. WLeft-justified column. XHorizontal position. \Vertical position. `Type of labels. a#Package names are represented by a . b!Class names are represented by a . cCreate a label from its name. dGet the name of a label. OPQRSTUVWXYZ[\]^_`2abcd34567"#$%&'()OPQRSTUVWXYZ[\]^_`abcdba`cd\_^]X[ZYOWVUTSRQP")('&%$# OWVUTSRQPX[ZY\_^]`2abcd34567  Safe-InferredeAMSFonts package.  Example:  usepackage [] amsfonts f/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. efefefef  Safe-InferredgInputenc package.  Example:  usepackage [utf8] inputenc hUTF-8 encoding. iLatin-1 encoding. ghighighighi Safe-Inferred5jLaTeX 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. :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. jklmnopqrstuvwxyz{|}~Optional position Width Minipage content Optional position Figure content Class options  Class name      8 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. *+,-./09:; jklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0|~}j{zyxwvutsrqponmlk*+ ,     %'&()-./0 !"$#j{zyxwvutsrqponmlk|~}     8 !"#$%&'()*+,-./09:; Safe-Inferred1Type synonym for empty 2 computations. 2< monad transformer applied to  values. =Pair a value with >. 3 Running a 2 computation returns the final  value  and either a  if the computation didn't contain any value " or the value itself otherwise. 4!This is the usual way to run the 2 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 5 Version of 4! with possible warning messages.  This function applies C to the  output. 6This function run a 2 computation, * lifting the result again in the monad. 7 Executes a 2$ computation, embedding it again in  the 2 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 2, which  is closely related. 8With 8 you can append  values to the  state of the 2 monad. 9Lift a function over  values to a function  acting over the state of a 2 computation. :Lift an operator over  values to an operator  acting over the state of two 2 computations. 3Note: The returned value is the one returned by the  'second argument of the lifted operator. ; Just like N , but with 2 output. " rendertexM = textell . rendertex <The ? method of the 2 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 =. @ = A. BBe careful when using  over a 2 value, 9 the returned value of the computation is bottom (i.e. C). 12DE=3456789:;<=@BFGHIJK123456789:;<=21345678;9:<=12DE=3456789:;<=@BFGHIJK  Safe-Inferred>-Class of types that can be pretty-printed as  values. >?LMNOPQRST>?>? >?LMNOPQRST  Safe-Inferred@Different styles for Gs. EAMSThm package.  Example:  usepackage [] amsthm F Create a new G environment type. = Arguments are environment name (this will be the argument  when using the G$ function) and the displayed title.  For example:  ! newtheorem "prop" "Proposition"  theorem "prop" "This is it." GUse a environment created by F. HThe H* environment. The first optional argument / is used to put a custom title to the proof. I Insert the QED symbol. J;Set the theorem style. Call this function in the preamble. @ABCDEFGHIJU @ABCDEFGHIJ EFGHI@DCBAJ@DCBAEFGHIJU Safe-Inferred KA K of a presentation. See x. i%Specifications for beamer functions. nThe n? document class. Importing a package is not required. Example:  documentclass [] beamer o^A presentation is composed of a sequence of frames. Each frame is created with this function. p4Set the title of the current frame. Use it within a o. q7Set the subtitle of the current frame. Use it within a o. r+Highlight in red a piece of text. With the i$s, you can specify the slides where  the text will be highlighted. sIntroduces a pause in a slide. tt works like item-, but allows you to specify the slides where  the item will be displayed. uWith u4, show a piece of text only in the slides you want. v Similar to u. wA w' will be displayed surrounding a text. xSet the K2 employed in your presentation (in the preamble). 0KLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwTitle for the block Content of the block Result xVW.KLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwx.nopqrswimlkjtuvKhgfedcba`_^]\[ZYXWVUTSRQPONMLxKhgfedcba`_^]\[ZYXWVUTSRQPONMLimlkjnopqrstuvwxVW Safe-Inferred yOther 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. ^yz{|}~XYZ[Zyz{|}~Zy~}|{zy;~}|{zXYZ[ Safe-Inferred 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. ] ] 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-Inferred1Different types of actions that can be performed  with a . See  for more information. A Tik Z script. Parameters to use in a  to change how things # are rendered within that scope. 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 = 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  , , , ,  and  . "Applies a scope to a TikZ script. Sequence two TikZ scripts. Equivalent to  path [Draw]. Equivalent to  path [Fill]. Equivalent to  path [Clip]. Equivalent to  path [Shade]. Equivalent to path [Fill,Draw]. Equivalent to path [Shade,Draw]. ;abc  defgh   ijklmnop4     4     !cba  hgfed   ijklmnop Safe-InferredUse 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. $Build a path using a starting point and a . qrstuv !"Half width of the ellipse. Half height of the ellipse. #$wxy !"#$$ !"# qrstuv !"#$wxy Safe-Inferred% Import the %' package to use the functions exported 9 by this module. For example, adding this line to your  document preamble:  usepackage [] tikz &Transform a TikZ script to a  block. %&>      !"#$%&%&%& Safe-Inferred'A figure in the plane. ((A figure composed by a list of figures. )Scaling of the given ' by a factor. *Line width for the given '. +Color for the given '. ,Same as -, but filled with some color. -3Ellipse centered at the given point with width and ) height given by the other parameters. .As in /), but it will be filled with some color. /:Circle centered at the given point with the given radius. 0Same as 1, but filled with color. 17Rectangle with top-right corner at the given point and 3 width and height given by the other parameters. 2Same as 30, but the inner side will be filled with color. 3?Line along a list of points, but the last point will be joined  with the first one. 4Line along a list of points. 5A point in the plane. 6 Translate a ' to a  script. '()*+,-./012345z6%&'()*+,-./0123456%'43210/.-,+*)(56&' 43210/.-,+*)(5z6 Safe-Inferred'{|}~./01 "#$%&'()*+GHIJKLMNOPQRSTUVWXYZ[\]^_`abcdjklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?*+None7AMSMath package.  Example:  usepackage [] amsmath 8!Inline mathematical expressions. 9<Displayed mathematical expressions, i.e. in a seperate line / block. :/A reference to a numbered equation. Use with a . defined in the # scope of the equation refered to. ;YPrevent 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 ;. ?The unnumbered variant of >. @=Surround a LaTeX math expression by parentheses whose height % automatically matches the expression's. Translates to \left(...\right). ALike @*, but with square brackets. Equivalent to D"[""]". BLike @, but with curly brackets. CLike @1, but with angle brackets #) ... #*. Equivalent to D E F. DIUse custom LaTeX expressions as auto-scaled delimiters to surround math. B Suitable delimiters include |...| (absolute value), ...  (norm,  K), #  ...# (round-off Gauss brackets, G / H) etc.. ELeft angle bracket, #). FRight angle bracket, #*. G Left floor, # . HRight floor, # . ILeft ceiling, #. JRight ceiling, # . K=Double vertical line, used as delimiter for norms (  ... ). L Superscript. M Subscript. NSine function symbol. OArcsine function symbol. PCosine function symbol. QArccosine function symbol. RTangent function symbol. SArctangent function symbol. TCotangent function symbol. UArccotangent function symbol. V!Hyperbolic sine function symbol. W#Hyperbolic cosine function symbol. X$Hyperbolic tangent function symbol. Y&Hyperbolic cotangent function symbol. ZSecant 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 >6 is supplied, the function will output a square root. Negative form of an operator. `Plus-or-minus operator (). aMinus-or-plus operator ("). bCentered-dot operator ("). c"x-cross" multiplication operator (). dDivision operator. eFraction operator. fAsterisk operator (*).  infixl 7 *: gStar operator (&). hRing operator ("). iBullet operator ("). jEqual.  infixr 4 =: k Not equal ("`).  infixr 4 /=: l Greater. mGreater or equal ("e). nLesser. oLesser or equal ("d). pMuch less ("j). qMuch greater ("k). rProportional-to ("). s Identical / defined-as / equivalent ("a). tElement-of ("). uMirrored element-of (" ). vNot element of (" ). wSubset-of ("). xSuperset-of ("). ySet intersection (")). zSet 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 >)  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 >)  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 >)  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 >)  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 >)  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 e 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 e command. Careful! Method  is undefined. Don' t use it! 789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~789<=>?:;@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijknolmpqsrtuvwxyz{|}~789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`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 . 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 H as rendering function. Instance defined in Text.LaTeX.Packages.Trees.Qtree.   Safe-Inferred'{|}~./01 "#$%&'()*+GHIJKLMNOPQRSTUVWXYZ[\]^_`abcdjklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>? !" !# !$ !% !&'()'*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqr s t u v w x y z { | } ~               !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`a b c d e f g h i j k l m nopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP(Q)R*ST+UVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~         !"#$%&'()*+,W-X./0123456789:;<=> ?@ABCDEFGHIJKL MN MO MP MQ  R S T U VWXYZ'[\] ^_ `a bc deVfghijkl m n o p q r s t u vwxyz{|AB}~  ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !      HaTeX-3.6Text.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.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 fromLaTeXliftLliftL2liftL3comm0commSbraces latexAtOnce latexParserlatexBlockParserlatexDocParser isMainDocTeXCheckcheckWarning CustomWarningNoDocumentInsertedNoClassSelectedUndefinedLabel UnusedLabelcheckFromFunctioncheckAll checkClasscheckDoc checkLabelsRenderrender renderAppend renderChars renderCommas renderFile readFileTex rendertex TableSpec DVerticalLine VerticalLine ParColumnBot ParColumnMid ParColumnTop RightColumn CenterColumn LeftColumnHPosHRightHCenterHLeftPosTopCenterBottomLabel 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 hyphenationmboxfboxtodaytexlaTeX2laTeXeldotsvdotsddotsqtsfootnote linespreadindentnoindenthspacehspace_stretchvspacehfillvfillprotect textwidth linewidthverbatimverb underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipbigskiptabular&hline multicolumnclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_versioncaptionlabelrefpagerefLaTeXT_LaTeXT runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp rendertexM throwErrormerrorTexytexy TheoremStyleCustomThmStyleRemark DefinitionPlainamsthm newtheoremtheoremproofqedhere theoremstyleTheme CustomThemeWarsawSzeged Singapore Rochester PittsburghPaloAlto MontpellierMarburgMalmoeMadridLuebeck JuanLesPinsIlmenauHannover Goettingen FrankfurtDresdenDefault Darmstadt Copenhagen CambridgeUSBoxesBoadillaBerlinBerkeleyBergenAntibesAnnArbor 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 ParameterTScaleTColorTWidthStep PointStepXYStepDimStep GridOptionGridStepTPathGridEllipseCircle RectangleLineCycleStartTPointpointAt pointAtXY pointAtXYZrelPoint relPoint_ startingPoint lastPoint->- emptytikzpathscope->>drawfillclipshadefilldraw shadedraw PathBuilderpcycleline rectanglecircleellipsegridbpathtikz tikzpictureFigureFiguresScale LineWidthColored EllipseFilled CircleFilledRectangleFilled PolygonFilledPolygonPoint figuretikzamsmathmath mathDisplayeqrefnonumberequation equation_alignalign_ autoParensautoSquareBrackets autoBracesautoAngleBrackets autoBracketslangleranglelfloorrfloorlceilrceildblPipe^:!:tsinarcsintcosarccosttanarctancotarccottsinhtcoshttanhcothseccsctexptloglntsqrtpmmpcdottimesdiv_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 $fTexyBool $fTexyFixed $fTexyChar $fTexyDouble $fTexyFloat $fTexyInteger $fTexyInt $fTexyText $fTexyLaTeX$fRenderTheoremStyle $fRenderTheme$fRenderOverlaySpec$fRenderColSpec$fRenderColorName$fRenderColorModel $fRenderColorTrue$fRenderIGOption $fRenderURL$fRenderHRefOptionTikZSeqScope PathAction RelPoint_RelPointXYZPointXYPointDimPoint renderPair$fRenderActionType $fRenderTikZ$fRenderParameter $fRenderStep$fRenderGridOption $fRenderTPath$fRenderTPointPB pathBuilder PathStatePS currentPath applyToPath$fMonadPathBuilder$fApplicativePathBuilder$fFunctorPathBuilder castpointgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetFirstFirstgetLastLastnotop$fTexy[] $fTexyMatrix $fTexy(,,,) $fTexy(,,) $fTexy(,) $fTexyRatio$fFloatingLaTeXT GHC.Floatasinhatanhacosh$fFractionalLaTeXT $fNumLaTeXTGHC.Numsignum $fShowLaTeXTNum $fEqLaTeXT$fFloatingLaTeX$fFractionalLaTeX $fNumLaTeX matrix2textoMatrix$fTexyLanguage$fRenderLanguage $fTexyFontEnc$fRenderFontEnc $fTexyTreetree_