!8,*      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                             !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~        !!"""################################################################$$$$$$$$$$ $ $ % % &&&&&&&&&&&&&&&&&&& '!'"'#'$'%'&('((()(+)SafeHVC*+,-./0Safe27HV~:+HaTeXAn argument for a  command or environment.HaTeXFixed argument.HaTeXOptional argument.HaTeXMultiple optional argument.HaTeXAn argument enclosed between < and >.HaTeX Version of  with multiple options.HaTeXAn argument enclosed between ( and ).HaTeX Version of  with multiple options.HaTeXType of LaTeX blocks. HaTeX Raw text.!HaTeX]Constructor for commands. First argument is the name of the command. Second, its arguments."HaTeXKConstructor for commands with no arguments. When rendering, no space or {} will be added at the end.#HaTeXzConstructor for environments. First argument is the name of the environment. Second, its arguments. Third, its content.$HaTeXMathematical expressions.%HaTeXLine break command.&HaTeXA expression between braces.'HaTeX Comments.(HaTeXSequencing of  expressions. Use  preferably.)HaTeXAn empty block. Neutral element of .*HaTeX7Different types of syntax for mathematical expressions./HaTeX$Measure units defined in LaTeX. Use 6 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.0HaTeXCA point is 1/72.27 inch, that means about 0.0138 inch or 0.3515 mm.1HaTeX Millimeter.2HaTeX Centimeter.3HaTeXInch.4HaTeX)The height of an "x" in the current font.5HaTeX(The width of an "M" in the current font.6HaTeXYou can introduce a  expression as a measure.7HaTeXCalling 7 c l1 l2 puts c between l1 and l2 and appends them. between c l1 l2 = l1 <> c <> l28HaTeX&Escape LaTeX reserved characters in a 1.9HaTeX&Escape LaTeX reserved characters in a .:HaTeX Look into a  syntax tree to find any call to the command with the given name. It returns a list of arguments with which this command is called. 3lookForCommand = (fmap snd .) . matchCommand . (==)If the returned list is empty, the command was not found. However, 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.;HaTeX Traverse a + syntax tree and returns the commands (see ! and ">) that matches the condition and their arguments in each call.<HaTeX Similar to :y, 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 . (==)=HaTeX Traverse a 2 syntax tree and returns the environments (see #P) that matches the condition, their arguments and their content in each call.>HaTeX The function >Y looks for subexpressions that match a given condition and applies a function to them. /texmap c f = runIdentity . texmapM c (pure . f)?HaTeX Version of >( where the function returns values in a 2.@HaTeXExtract the content of the document environment, if present.AHaTeXExtract the preamble of a ! document (everything before the document$ environment). It could be empty.3HaTeXUtility for the instance of  to 4W. We generate a short sequence of characters and escape reserved characters with 9.5HaTeXXGenerator for names of command and environments. We use only alphabetical characters.IHaTeXMethod 6) escapes LaTeX reserved characters using 8.KHaTeXMethod L is strict in both arguments (except in the case when the first argument is )).:HaTeXName of the command.HaTeXLaTeX syntax tree.HaTeX(List of arguments passed to the command.>HaTeX Condition.HaTeX-Function to apply when the condition matches.?HaTeX Condition.HaTeX-Function to apply when the condition matches.,!# "$%&'()*+,-./0123456789:;<=>?@A,/0123456*+,-.!# "$%&'()789;:=<>?@ASafeHVy)\HaTeXThis is the class of  code generators. It has  and 7 as superclasses.]HaTeX9This method must take a function that combines a list of @ values into a new one, and creates a function that combines lR-typed values. The combining function can be seen as a function with 0 or more  arguments with a  value as output.^HaTeXMap a  value to its equivalent in any \ instance._HaTeXLift a inner function of  values into any \ instance.`HaTeX Variant of _ with a two arguments function.aHaTeX Variant of _! with a three arguments function.bHaTeX Variant of _ with a four arguments function.cHaTeX Variant of _ with a five arguments function.dHaTeX Variant of _ with a six arguments function.eHaTeX Variant of _! with a seven arguments function.fHaTeX Variant of _" with an eight arguments function.gHaTeX Variant of _ with a nine arguments function.8HaTeX=Map the given functor of LaTeX values to fixed TeX arguments.9HaTeXMap the first n elements as optional arguments, and the remaining ones as fixed arguments. Most LaTeX commands are structured with first a sequence of optional arguments, followed by a sequence of fixed arguments.hHaTeXNCall a LaTeX command where all the arguments in the list are fixed arguments.iHaTeX$Call a LaTeX command with the first n arguments as optional ones, followed by fixed arguments. Most LaTeX commands are structured with first a sequence of optional arguments, followed by a sequence of fixed arguments.jHaTeXVCreate a LaTeX environment where all the arguments in the list are fixed arguments.kHaTeXZA simple (without arguments) and handy command generator using the name of the command. &comm0 str = fromLaTeX $ TeXComm str []lHaTeXwA one parameter command generator using the name of the command. The parameter will be rendered as a fixed argument. 0comm1 str = liftL $ \l -> TeXComm str [FixArg l]mHaTeXwA two parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. Acomm2 str = liftL2 $ \l1 l2 -> TeXComm str [FixArg l1, FixArg l2]nHaTeXyA three parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. Ocomm3 str = liftL3 $ \l1 l2 l3 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3]oHaTeXxA four parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. ]comm4 str = liftL4 $ \l1 l2 l3 l4 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4]pHaTeXxA five parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. kcomm5 str = liftL5 $ \l1 l2 l3 l4 l5 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5]qHaTeXwA six parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. ycomm6 str = liftL6 $ \l1 l2 l3 l4 l5 l6 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6]rHaTeXyA seven parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. comm7 str = liftL7 $ \l1 l2 l3 l4 l5 l6 l7 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6, FixArg l7]sHaTeXzAn eight parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. comm8 str = liftL8 $ \l1 l2 l3 l4 l5 l6 l7 l8 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6, FixArg l7, FixArgs l8]tHaTeXxA nine parameter command generator using the name of the command. The parameters will be rendered as fixed arguments. comm9 str = liftL9 $ \l1 l2 l3 l4 l5 l6 l7 l8 l9 -> TeXComm str [FixArg l1, FixArg l2, FixArg l3, FixArg l4, FixArg l5, FixArg l6, FixArg l7, FixArgs l8, l9]uHaTeXLike k but using ">, i.e. no "{}" will be inserted to protect the command's end. commS = fromLaTeX . TeXCommSvHaTeXTDefine an environment, without any parameters that are passed to the environment.wHaTeXUDefine an environment, with one fixed parameter that is passed to the environment.xHaTeXVDefine an environment, with two fixed parameters that is passed to the environment.yHaTeXXDefine an environment, with three fixed parameters that is passed to the environment.zHaTeXWDefine an environment, with four fixed parameters that is passed to the environment.{HaTeXWDefine an environment, with five fixed parameters that is passed to the environment.|HaTeXVDefine an environment, with six fixed parameters that is passed to the environment.}HaTeXXDefine an environment, with seven fixed parameters that is passed to the environment.~HaTeXXDefine an environment, with eight fixed parameters that is passed to the environment.HaTeXWDefine an environment, with nine fixed parameters that is passed to the environment.HaTeXA lifted version of the & constructor. braces = liftL TeXBracesHaTeXInsert a raw piece of !. This functions doesn't escape LaTeXA reserved characters, it insert the text just as it is received.Warning: This function is unsafeL, in the sense that it does not check that the input text is a valid LaTeX blockF. Make sure any braces, commands or environments are properly closed.HaTeXThis instance just sets liftListL = id.+\]^_`abcdefghijklmnopqrstuvwxyz{|}~+\]^_`abcdefgklmnopqrstuhivwxyz{|}~jSafeHV\ HaTeX+Class of values that can be transformed to *. You mainly will use this to obtain the  output of a I value. If you are going to write the result in a file, consider to use .Consider also to use  to get able values into  blocks.'If you want to make a type instance of  and you already have a :, instance, you can use the default instance. render = fromString . showHaTeX2Render every element of a list and append results.HaTeXMRender every element of a list and append results, separated by the given ;.HaTeXJRender every element of a list and append results, separated by commas.HaTeXUse this function to render a  (or another one in the $ class) value directly in a file.HaTeX:If you are going to insert the content of a file in your = data, use this function to ensure your encoding is correct.HaTeX If you can transform a value to , you can insert that  in your * code. That is what this function does. Warning: + does not escape LaTeX reserved characters. Use 9 to escape them.HaTeXOShow a signed floating number using standard decimal notation using 5 decimals.HaTeX instance for <. It satisfies render True = "true" and render False = "false".HaTeX0This instance escapes LaTeX reserved characters.761=>?@ SafeHVhHaTeX)This function transforms a value of type  to a A+. You can then choose how to print this A& value using the function from the Text.PrettyPrint.Free module.HaTeXPretty print a 6 value. It produces a more human-friendly output than .This function should be used only for debugging purposes since it may change the semantics of the input in order to create a prettier output. In other words, running a LaTeX compiler in the output file of renderFile fp lF may produce a different document than running it in the output of writeFile fp (prettyLaTeX l). You should use / unless you really need to read the LaTeX file.SafeHVHaTeX Parser with  input and  environment.HaTeX#Configuration for the LaTeX parser.HaTeXaThis is the list of names of the environments such that their content will be parsed verbatim.HaTeX&Default parser configuration, used by  and . Defaults: #verbatimEnvironments = ["verbatim"]HaTeXParse a  sequence as a 3 block. If it fails, it returns an error string.HaTeXRead a file and parse it as .HaTeXThe  parser.HaTeXParser of a single " constructor, no appending blocks.       SafeHVHaTeX-Class of types that can be pretty-printed as  values. SafeHV&HaTeXType of table specifications.HaTeXLeft-justified column.HaTeXCentered column.HaTeXRight-justified column.HaTeX9Paragraph column with text vertically aligned at the top.HaTeXFParagraph column with text vertically aligned at the middle. Requires array package.HaTeXFParagraph column with text vertically aligned at the bottom. Requires array package.HaTeXUser defined column. Requires array package.HaTeXCan be used before a , , , ,  or a X specification. Inserts the code directly in front of the entry of the column. Requires array package.HaTeXCan be used after a , , , ,  or a X specification. Inserts the code directly in front of the entry of the column. Requires array package.HaTeX"Vertical line between two columns.HaTeX)Double vertical line between two columns.HaTeXColumn separator. Requires array package.HaTeXHorizontal position.HaTeXVertical position.  and  are used with table environments.HaTeXType of labels.HaTeX!Page styles are represented by a 1.HaTeX#Package names are represented by a 1.HaTeX!Class names are represented by a 1.HaTeXCreate a label from its name.HaTeXGet the name of a label.%/0123456%/0123456 SafeHV2 HaTeXA 4 is a function that checks possible warnings from a  value. Use the % instance to combine check functions.HaTeXApply a checking.HaTeXList of possible warnings.HaTeX/There is an unused label. Argument is its name.HaTeXBThere is a reference to an undefined label. Arguments is the name.HaTeXNo class selected with  documentclass.HaTeXNo document inserted.HaTeX8Custom warning for custom checkings. Use it as you want.HaTeXBuild a  from a function.HaTeX Check with ,  and .HaTeX?Check if a document class is specified for the document (using  documentclass).HaTeX Check if the document environment is called in a .HaTeX=Checking for unused labels or references tu undefined labels. SafeHV m LaTeX myLaTeX = execLaTeXT anExampleHaTeX Version of : with possible warning messages. This function applies  to the  output.HaTeXThis function run a 7 computation, lifting the result again in the monad.HaTeX Executes a + computation, embedding it again in the  monad. (extractLaTeX_ = liftM snd . extractLaTeXLThis function was heavily used in the past by HaTeX-meta to generate those .Monad3 modules. The current purpose is to implement the \ instance of , which is closely related.HaTeXWith  you can append  values to the state of the  monad.HaTeXLift a function over 4 values to a function acting over the state of a  computation.HaTeXLift an operator over 7 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.HaTeX7A helper function for building monad transformers, e.g. ginstance MonadReader r m => MonadReader r (LaTeXT m) where ask = lift ask local = mapLaTeXT . localOThis declaration could be included here, but it would add a dependency on mtl.HaTeX Just like  , but with  output.  rendertexM = textell . rendertex SafeHVHaTeX Inline mathematical expressions.HaTeXDDisplayed mathematical expressions, i.e. in a seperate line / block.HaTeXXPrevent an equation from being numbered, where the environment would by default do that.HaTeX@A numbered mathematical equation (or otherwise math expression).HaTeXThe unnumbered variant of .HaTeXtSurround a LaTeX math expression by parentheses whose height automatically matches the expression's. Translates to \left(...\right).HaTeXLike *, but with square brackets. Equivalent to  "[""]". HaTeXLike , but with curly brackets. HaTeXLike , but with angle brackets \langle ... \rangle. Equivalent to      . HaTeXfUse custom LaTeX expressions as auto-scaled delimiters to surround math. Suitable delimiters include |\ldots| (absolute value),  \|\ldots\| (norm, ), \lfloor\ldots\rfloor (round-off Gauss brackets,  / ) etc.. HaTeXLeft angle bracket, \langle. HaTeXRight angle bracket, \rangle.HaTeX Left floor, \lfloor.HaTeX Right floor, \rfloor.HaTeXLeft ceiling, \lceil.HaTeXRight ceiling, \rceil.HaTeX2Double vertical line, used as delimiter for norms  \| \ldots \|.HaTeX Superscript.HaTeX Subscript.HaTeX#Sub- and superscript, both stacked.HaTeXSine function symbol.HaTeXArcsine function symbol.HaTeXCosine function symbol.HaTeXArccosine function symbol.HaTeXTangent function symbol.HaTeXArctangent function symbol.HaTeXCotangent function symbol.HaTeXArccotangent function symbol.HaTeX Hyperbolic sine function symbol.HaTeX"Hyperbolic cosine function symbol. HaTeX#Hyperbolic tangent function symbol.!HaTeX%Hyperbolic cotangent function symbol."HaTeXSecant function symbol.#HaTeXCosecant function symbol.$HaTeXExponential function symbol.%HaTeXLogarithm function symbol.&HaTeXNatural logarithm symbol.'HaTeXRoot notation. Use tsqrt (Just n) x for the n th root of x . When D5 is supplied, the function will output a square root.(HaTeX}Defines a new function symbol. Note that function symbols defined in this way will not be automatically translated by babel.)HaTeXSigma sumation symbol \sum. Use *9 instead if you want to specify the limits of the sum.*HaTeX(Sigma sumation symbol with limits, like \sum_0^n.+HaTeXPi product symbol \prod. Use ,5 if you want to specify the limits of the product.,HaTeX$Pi product symbol with limits, like  \prod_0^n.-HaTeXCoproduct symbol \coprod. Use .7 if you want to specify the limits of the coproduct..HaTeX#Coproduct symbol with limits, like  \coprod_0^n./HaTeXBig union symbol \bigcup. Use 03 if you want to specify the limits of the union.0HaTeX#Big union symbol with limits, like  \bigcup_0^n.1HaTeXBig intersection symbol \bigcap. Use 2: if you want to specify the limits of the intersection.2HaTeX*Big intersection symbol with limits, like  \bigcap_0^n.3HaTeXIntegral symbol. Use 46 if you want to specify the limits of the integral.4HaTeX,Integral symbol with limits of integration. \int\limits_{-1}^15HaTeXPartial-differentiation symbol \partial6HaTeXXTotal-differentiation (or integration-variable) symbol d (non-italic!) To be used as frac (totald) (totald<>"x") ! \frac{\mathrm{d}}{\mathrm{d}x}.7HaTeX-Partial-differentiation of variable, e.g.  frac (partialOf h) (partialOf t) ! \frac{\partial h}{\partial t}.8HaTeXQTotal-differentiation of variable, or integration over variable. To be used as 0integralFromTo 0 infty $ totaldOf "x" <> "f(x)" %\int\limits_0^\infty\mathrm{d}x f(x), or  frac (totaldOf"f") (totaldOf"x") ! \frac{\mathrm{d}f}{\mathrm{d}x}.EHaTeXNegative form of an operator.9HaTeXPlus-or-minus operator \pm. Also available as symbol .:HaTeXMinus-or-plus operator \mp. Also available as symbol .;HaTeXCentered-dot operator \cdot.<HaTeX""x-cross" multiplication operator \times.=HaTeXDivision operator \div.>HaTeXFraction operator, like frac 1 2 ! \frac12.?HaTeXAsterisk operator \ast.  infixl 7 *:@HaTeXStar operator \star.AHaTeXRing operator \circ.BHaTeXBullet operator \bullet.CHaTeXSimple equals sign =.  infixr 4 =:DHaTeX Not equal \neq.  infixr 4 /=:EHaTeXGreater >.FHaTeXGreater or equal \geq.GHaTeXLesser <.HHaTeXLesser or equal \leq.IHaTeX Much less \ll.JHaTeX Much greater \gg.KHaTeXProportional-to \propto.LHaTeXPerpendicular \perp. This is the infix version of .MHaTeX Parallel  \parallel.NHaTeX$Identical / defined-as / equivalent \equiv.OHaTeX Element-of \in.PHaTeXMirrored element-of \ni.QHaTeXNot element of \notin.RHaTeX Subset-of \subset.SHaTeX Superset-of supset.THaTeXSet intersection \cap.UHaTeX Set union \cup.VHaTeX Set minus  \setminus.WHaTeXAngle pointing downwards \vee.XHaTeXAngle pointing upwards \wedge.YHaTeXCircled plus operator \oplus.ZHaTeXCircled minus operator \ominus.[HaTeXCircled multiplication cross \otimes.\HaTeXCircled slash \oslash.]HaTeXCircled dot operator \odot.^HaTeX&Add a hat accent above a symbol, like \hat{x}._HaTeX(Add a tilde accent above a symbol, like  \tilde{y}.`HaTeX&Add a bar accent above a symbol, like \bar{z}.aHaTeX/Add a vector arrow accent above a symbol, like \vec{v}.bHaTeX+Add a wide hat accent above a symbol, like  \widehat{w}.cHaTeX-Add a wide tilde accent above a symbol, like  \widetilde{u}.dHaTeXIAdd a dot accent above a symbol, as used to denote a derivative, like \dot{x}.eHaTeX,Add a wide line accent above a symbol, like \overline{abc}.fHaTeX\alpha symbol.gHaTeX\beta symbol.hHaTeX\gamma symbol.iHaTeX\Gamma symbol.jHaTeX\delta symbol.kHaTeX\Delta symbol.lHaTeX\epsilon symbol.mHaTeX \varepsilon symbol.nHaTeX\zeta symbol.oHaTeX\eta symbol.pHaTeX\theta symbol.qHaTeX \vartheta symbol.rHaTeX\Theta symbol.sHaTeX\iota symbol.tHaTeX\kappa symbol.uHaTeX\lambda symbol.vHaTeX\Lambda symbol.wHaTeX\mu symbol.xHaTeX\nu symbol.yHaTeX\xi symbol.zHaTeX\Xi symbol.{HaTeX\pi symbol.|HaTeX\varpi symbol.}HaTeX\Pi symbol.~HaTeX\rho symbol.HaTeX\varrho symbol.HaTeX\sigma symbol.HaTeX \varsigma symbol.HaTeX\Sigma symbol.HaTeX\tau symbol.HaTeX\upsilon symbol.HaTeX\Upsilon symbol.HaTeX\phi symbol.HaTeX\varphi symbol.HaTeX\Phi symbol.HaTeX\chi symbol.HaTeX\psi symbol.HaTeX\Psi symbol.HaTeX\omega symbol.HaTeX\Omega symbol.HaTeXPlus-or-minus symbol \pm. Also available as infix 9.HaTeXMinus-or-plus symbol \mp.HaTeXA right-arrow, \to.HaTeX(A right-arrow for function definitions, \mapsto.HaTeXAn implication arrow, \implies.HaTeXFor all symbol, \forall.HaTeXExists symbol, \exists.HaTeXDagger symbol, \dagger.HaTeXDouble dagger symbol, \ddagger.HaTeXInfinity symbol, \infty.HaTeXDotless letter i, \imath.HaTeXDotless letter j, \jmath.HaTeXBottom symbol, \bot. For the infix version see L.HaTeX\uparrow symbolHaTeX \downarrow symbolHaTeX\Uparrow symbolHaTeX \Downarrow symbolHaTeX \updownarrow symbolHaTeX \Updownarrow symbolHaTeX \leftarrow symbolHaTeX \rightarrow symbolHaTeX\leftrightarrow symbolHaTeX\Leftrightarrow symbolHaTeX \Leftarrow symbolHaTeX \Rightarrow symbolHaTeX\longleftarrow symbolHaTeX\longrightarrow symbolHaTeX\Longleftarrow symbolHaTeX\Longrightarrow symbolHaTeX\longleftrightarrow symbolHaTeX\Longleftrightarrow symbolHaTeX\nwarrow symbolHaTeX\nearrow symbolHaTeX\swarrow symbolHaTeX\searrow symbolHaTeX \longmapsto symbolHaTeX\hookleftarrow symbolHaTeX\hookrightarrow symbolHaTeX\leftharpoonup symbolHaTeX\rightharpoonup symbolHaTeX\leftharpoondown symbolHaTeX\rightharpoondown symbolHaTeXDefault math symbol font.HaTeXBold face, like  \mathbf{Abc}.HaTeXRoman, i.e. not-italic math,  \mathrm{deF}HaTeXNCalligraphic math symbols. Only works (reliably) with uppercase letters, like  \mathcal{LMN}.HaTeXSans-serif math,  \mathsf{xyz}.HaTeXTypewriter font,  \mathtt{ijk}.HaTeX%Italic math. Uses the same glyphs as r, but with spacings intended for multi-character symbols rather than juxtaposition of single-character symbols.HaTeXUndefined methods: F, G and H%. This instance is defined in the Text.LaTeX.Packages.AMSMath module.HaTeXDivision uses the LaTeX >- command. This instance is defined in the Text.LaTeX.Packages.AMSMath module.HaTeXCareful! Method I@ is undefined. Don't use it! This instance is defined in the Text.LaTeX.Packages.AMSMath module.HaTeXThe F, G and H methods use custom (Xs and will not be automatically translated by babel. This instance is defined in the Text.LaTeX.Packages.AMSMath module.HaTeXDivision uses the LaTeX >- command. This instance is defined in the Text.LaTeX.Packages.AMSMath module.HaTeXThe I method uses a custom (W and will not be automatically translated by babel. This instance is defined in the Text.LaTeX.Packages.AMSMath module.*HaTeXExpression below the sigma.HaTeXExpression above the sigma.,HaTeXExpression below the pi.HaTeXExpression above the pi..HaTeXExpression below.HaTeXExpression above.0HaTeXExpression below.HaTeXExpression above.2HaTeXExpression below.HaTeXExpression above.4HaTeXLower limit of integration.HaTeXUpper limit of integration.      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-.345678/0129:;<=>?@ABCDGHEFIJNKMLOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~96:6?7C4D4NoneHVp)^HaTeXLaTeX available paper types.HaTeX#A class option to be passed to the  function.HaTeXCreate a comment.HaTeXCThis operator appends a comment after a expression. For example: ;textbf "I'm just an example." %: "Insert a few words here."The implementation is (%:) l = (l <>) . commentSince you are writing in Haskell, you may not need to output comments as you can add them in the Haskell source. I added this feature for completeness. It may be useful for debugging the output as well.HaTeX?Append a blank comment. eol :: LaTeXC l => l eol = comment ""-Generate the title. It normally contains the  name of your document, the (s) and .HaTeXSet the title of your document.HaTeXSet a date for your document.HaTeX"Set the author(s) of the document.HaTeXFSet either an institute or an organization for the document. It does not work for a document of the  class.HaTeXdImport a package. First argument is a list of options for the package named in the second argument.HaTeXThe LaTeX logo.HaTeXStart a new paragraphHaTeX8Start a new line. It can be used only in paragraph mode.HaTeX)Start a new chapter with the given title.HaTeX'Start a new section with a given title.HaTeX2Start a new unnumbered section with a given title.HaTeXStart a new subsection.HaTeX"Start a new unnumbered subsection.HaTeXStart a new subsubsection.HaTeXStart a new unnumbered subsubsection.HaTeXStart a paragraph.HaTeX3Start a subparagraph (minimal level of sectioning).HaTeXACreate the table of contents, automatically generated from your s, s, and related functions.HaTeXAn item of a list (see  or 8). The optional argument sets the design of the item.HaTeX"Environment of ordered lists. Use  to start each list item.HaTeX$Environment of unordered lists. Use  to start each list item.HaTeXLeft-justify the argument.HaTeXRight-justify the argument.HaTeXCenter-justify the argument.HaTeXMinipage environment. HaTeX*Figure environment. Use this for floating Text.LaTeX.Packages.Graphicx2 content out of the text block and giving it a (. The figure can be referred to with  from elsewhere in the document. HaTeX+Table environment. Use this for floating a * out of the text block and giving it a $. The table can be referred to with . HaTeXAbstract section.HaTeX0Set the document class. Needed in all documents.'HaTeX<Typesets displayed formulae left-aligned instead of centred.(HaTeXLPlaces the numbering of formulae on the left hand side instead of the right./HaTeX=Changes the layout of the document to print in landscape mode0HaTeX4Makes chapters begin either only on right hand pages1HaTeX0Makes chapters begin on the next page available.2HaTeXThe 2/ environment contains the body of the document.4HaTeXArabic numerals.5HaTeXLowercase roman numerals.6HaTeXUppercase roman numerals.7HaTeXLowercase letters.8HaTeXUppercase letters.?HaTeXUsed in conjunction with >1 for setting both the left and the right heading.@HaTeXUsed in conjunction with > for setting the right heading.AHaTeXStart a new line. The exactly meaning depends on the context where it is used. In normal running text when it forces a line break it is essentially a shorthand for  '\\newline'% (does not end horizontal mode or end the paragraph, it just inserts some glue and penalties at that point into the horizontal material so that when the paragraph does end a line break will occur at that point with the short line padded with white space). In alignment environments (like ), it starts a new row, so use  instead to start a new line.BHaTeXLike A, B7 introduces a line break, but preventing a page break.CHaTeXLike A, introduces a line break. But it has an argument that specifies how much extra vertical space is to be inserted before the next line. This can be a negative amount.DHaTeXLike C, DT introduces a line break with an extra vertical space, but preventing a page break.IHaTeX|Request to break the current line at the point of the command stretching the line so that it extends to the right margin. The number must be a number from 0 to 4. The higher the number, the more insistent the request is (0 means it will be easily ignored and 4 means do it anyway). When this line break option is used, LaTeX will try to produce the best line breaks possible.JHaTeXLike I7, but prevents a like break instead of requesting one.PHaTeX$Render the date at compilation time.QHaTeXRender the current page.RHaTeX TeX logo.SHaTeX LaTeX logo.UHaTeXHorizontal dots.VHaTeXVertical dots.WHaTeXDiagonal dots.XHaTeXQuotation marks.]HaTeX8Prints a foot note mark but without the actual footnote.^HaTeX{Prints the footnote corresponding to the previous footnotemark. Useful when dealing with footnotes in tabular environment._HaTeX)Increases by 1 the value of given counter`HaTeX Increases by n the value of given counter tgHaTeX0Space equal to the current font size (= 18 mu). a\quad bhHaTeX Twice of quad (= 36 mu).  a\qquad bjHaTeX6Add vertical white space, except at the end of a page.kHaTeX4Add vertical white space, even at the end of a page.lHaTeX1Add extra vertical white space. In a sequence of lY the length of the final white space is given by the maximum of the individual lengths.mHaTeX(Fill out all available horizontal space.nHaTeX&Fill out all available vertical space.oHaTeX2Fill out all available horizontal space with dots.pHaTeX4Fill out all available horizontal space with a line.uHaTeX The point of u is to include text that will not be parsed as LaTeX in any way at all, but should simply appear as given in the document, in a separate display in typewriter font.vHaTeXInclude 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 in e.g. section titles or other command-arguments.Unlike uB, which LaTeX implements as an ordinary environment, its command v uses a syntax trick to avoid braking its parsing 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 has string literals with their own escaping possibilities; instead, we make it secure by automatically choosing a delimiter that does not turn up in the given string.{HaTeX*Set the given argument to monospaced font.}HaTeX)Set the given argument to bold font face.HaTeX,Set the given argument to small caps format.HaTeXThe W environment can be used to typeset tables with optional horizontal and vertical lines.HaTeXLike  but in math mode by defaultHaTeXColumn separator.HaTeXHorizontal line.HaTeX3 ends a row in array or tabular environments. The '\' command has different meanings in different contexts. It can end a line in normal text, or it can end an array or tabular line. It may be preferrable to use  and in the first case, and  in the second.HaTeX resets the definition of '\' to .HaTeXCell taking multiple columns.HaTeXIf you are able to arrange some data in matrix form, you might want to use this function to quickly generate a tabular with your data. Each element of the matrix is rendered using the r instance of its type. If you want a custom instance for an already instantiated type, wrap that type using newtype, and then create your own instance. Since every element of a matrix must be of the same type, for mixed tables you might want to create an union type. For example, if your data matrix contains Js and Ks: fdata Number = R Double | I Int instance Texy Number where texy (R x) = texy x texy (I x) = texy x"Now you can have a matrix of type  Matrix Number: and use it to render your mixed data in a LaTeX table. The function  does not give you many options, so it is not as flexible as generating the table by yourself, but it uses a reasonable standard style.A very simple example: JmatrixTabular (fmap textbf ["x","y","z"]) $ fromList 3 3 [ (1 :: Int)..](This code generates the following table: docfiles/others/table.pngFor more examples see the file Examples/tables.hs), included in the source distribution.DFor more info about how to generate and manipulate matrices, see  Data.Matrix.HaTeX cline i j6 writes a partial horizontal line beginning in column i and ending in column j.HaTeXProduce a simple black box.HaTeXPrint the HaTeX logo.HaTeXPrint the HaTeX 3 logo.HaTeX9Print the HaTeX logo, beside the complete version number.HaTeX/Import an external file and insert its content as it is.HaTeX Similar to , but forces a page break.<Note: the file you are including cannot include other files.HaTeXOptional positionHaTeXWidthHaTeXMinipage content HaTeXOptional position.HaTeX*Figure content (should usually contain *,  and ). HaTeX1Position preferences. Leave empty to use default.HaTeXTable content (assemble with 'tabular'/'matrixTabular',  and ).HaTeX Class optionsHaTeX Class nameHaTeXcThis optional parameter can be used to specify the vertical position of the table. Defaulted to .HaTeX2Table specification of columns and vertical lines.HaTeXTable content. See , A,  and .HaTeXResulting table syntax.HaTeXcThis optional parameter can be used to specify the vertical position of the table. Defaulted to .HaTeX2Table specification of columns and vertical lines.HaTeXTable content. See , A,  and .HaTeXResulting table syntax.HaTeX!(Non-empty) List of column titlesHaTeXMatrix of dataHaTeX'Data organized in a tabular environmentHaTeXOptional lifting.HaTeXWidth.HaTeXHeight.7      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~7a &)*+,-./01'( !"#$%9:;<=>?@2 PQRSTUVWABCDHFGIJKLefjklghmnopibcdrstuv}{yz|~wx   345678NOYZ[\]^_`qMEX+NoneHVz761=>?@/0123456789      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~89,NoneHV 761=>?@/0123456789      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ SafeHV HaTeXAMSFonts package. Example: usepackage [] amsfontsHaTeX2This font is useful for representing sets like  \mathbb{R} (real numbers) or  \mathbb{Z} (integers). For instance: B"The set of real numbers are represented by " <> mathbb "R" <> "."Or in monadic form: B"The set of real numbers are represented by " >> mathbb "R" >> "."#Note the use of overloaded strings.HaTeXFraktur font, like \mathfrak{abcXYZ}.HaTeX \mathbb{N}HaTeX \mathbb{Z}HaTeX \mathbb{Q}HaTeX \mathbb{R}HaTeX \mathbb{C}HaTeX \mathbb{H}HaTeX\ReHaTeX\Im  NoneHV,HaTeXAMSMath package. Example: usepackage [] amsmathHaTeX/A reference to a numbered equation. Use with a 2 defined in the scope of the equation refered to.HaTeX#An array of aligned equations. Use g to specify the points that should horizontally match. Each equation is numbered, unless prevented by .HaTeXThe unnumbered variant of .HaTeX?The cases environment allows the writing of piecewise functionsHaTeXLike >D but smaller (uses subscript size for the numerator and denominator.HaTeXPAdd a dot accent above a symbol, as used to denote a second derivative, like \ddot{y}HaTeXVAdd a triple dot accent above a symbol, as used to denote a third derivative, like  \dddot{z}HaTeX9Escape from math mode, into a normal-text box. Unlike R, this won't squash spaces, i.e. you can write actual sentences. You can embed  again within such a box.HaTeX"LaTeX rendering of a matrix using pmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing D) is centered.. \begin{pmatrix} 0 & 1 \\ 2 & 3 \end{pmatrix} HaTeX"LaTeX rendering of a matrix using bmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing D) is centered.. \begin{bmatrix} 0 & 1 \\ 2 & 3 \end{bmatrix} HaTeX"LaTeX rendering of a matrix using Bmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing D) is centered.. \begin{Bmatrix} 0 & 1 \\ 2 & 3 \end{Bmatrix} HaTeX"LaTeX rendering of a matrix using vmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing D) is centered.. \begin{vmatrix} 0 & 1 \\ 2 & 3 \end{vmatrix} HaTeX"LaTeX rendering of a matrix using Vmatrixq and a custom function to render cells. Optional argument sets the alignment of the cells. Default (providing D) is centered.. \begin{Vmatrix} 0 & 1 \\ 2 & 3 \end{Vmatrix} HaTeX,' space equal to 3/18 of quad (= 3 mu). a\,bHaTeX:' space equal to 4/18 of quad (= 4 mu). a\:bHaTeX:' space equal to 5/18 of quad (= 5 mu). a\;bHaTeX!) space equal to -3/18 of quad (= -3 mu). a\!bHaTeX = (space after backslash) equivalent of space in normal text. a\ bHaTeXInstance defined in Text.LaTeX.Packages.AMSMath.HaTeXInstance defined in Text.LaTeX.Packages.AMSMath.HaTeXInstance defined in Text.LaTeX.Packages.AMSMath.HaTeXInstance defined in Text.LaTeX.Packages.AMSMath.HaTeXInstance defined in Text.LaTeX.Packages.AMSMath.HaTeXInstance defined in Text.LaTeX.Packages.AMSMath.      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ghʵ      !"#$%&'()*+,-.345678/0129:;<=>?@ABCDGHEFIJNKMLOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ghSafeHV{.HaTeXAMSSymb package. Example: usepackage [] amssymbHaTeX\vartriangleleft symbol.HaTeX\vartriangleleft symbol.HaTeX\leftleftarrows symbol - double left arrows.HaTeX\rightrightarrows symbol - double right arrowsHaTeX\rightleftarrows' symbol - right arrow atop a left arrowHaTeX\leftrightarrows( symbol - left arrow atop a right arrow.HaTeX \upuparrows symbol - double upward arrows.HaTeX\downdownarrows! symbol - double downward arrows.HaTeX\lll symbol - triple less than.HaTeX\ggg symbol - triple greater than.HaTeX\leftarrowtail symbol - leftwards "mapsto"HaTeX\rightarrowtail symbol - rightwards "mapsto"HaTeX\curvearrowleft symbol - leftwards curved arrowHaTeX\curvearrowright! symbol - rightwards curved arrowHaTeX\twoheadleftarrow symbol - double head left arrowHaTeX\twoheadrightarrow! symbol - double head right arrowHaTeX \checkmark symbol.HaTeX\lozenge symbol - narrow diamondHaTeX \blacklozenge symbol - filled narrow diamondHaTeX\nexists symbol - does not existHaTeX\lessdot" symbol - less than with inner dotHaTeX\gtrdot% symbol - greater than with inner dotHaTeX\square2 symbol - square. For the QED tombstone , see -R instead; it is normally the same symbol but gives the suitable text alignment.HaTeX \blacksquare symbol - a filled squareHaTeX\rightleftharpoons symbolHaTeX\Lsh symbolHaTeX\Rsh symbolHaTeX \Lleftarrow symbolHaTeX \Rrightarrow symbolHaTeX\rightsquigarrow symbolHaTeX\leftrightsquigarrow symbolHaTeX\looparrowleft symbolHaTeX\looparrowright symbolHaTeX\circlearrowleft symbolHaTeX\circlearrowright symbolHaTeX\upharpoonleft symbolHaTeX\upharpoonright symbolHaTeX\downharpoonleft symbolHaTeX\downharpoonright symbolHaTeX \nleftarrow symbolHaTeX \nrightarrow symbolHaTeX \nLeftarrow symbolHaTeX \nRightarrow symbolHaTeX\nleftrightarrow symbolHaTeX\nLeftrightarrow symbol..SafeHVnHaTeXDifferent styles for s.HaTeXAMSThm package. Example: usepackage [] amsthmHaTeX Create a new b 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."HaTeXUse a environment created by .HaTeXThe X environment. The first optional argument is used to put a custom title to the proof.HaTeX Insert the QED symbol \squareB, as a concluding right-aligned terminator. Note that within a 4 environment, this is automatically done at the end. HaTeX Insert the QED. symbol. This is supposed to be used within a @ environment, to change the default behaviour of putting the \square at the end. HaTeX:Set the theorem style. Call this function in the preamble.     SafeHVKz+ HaTeXZAn acronym type with a label, this is used to generate commands linked to this acronym.HaTeXThe  package. usepackage [] pacronymHaTeXRedefines the `\acf` and `\acfp`6 commands making the full name appear as a footnoteHaTeXSIf hyperref is loaded, all acronyms will link to their glossary entry. With the $ option, these links are suppressed.HaTeX,We need a marker which is set if the option  was used.HaTeX.A marker which tells us to print page numbers.HaTeX The option  leads to a redefinition of  `\acsfont`. We want to make the acronym appear smaller. Since this should be done in a context-sensitive way, we rely on the macro textsmaller provided by the relsize package. As `\RequiredPackage` cannot be used inside `\DeclareOption`, we need a boolean variable.HaTeX The option C stands for "don't use acronyms". It leads to a redefinition of `\ac` and `\acp`j making the full name appear all the time and suppressing all acronyms but the explicitly requested by `\acf` and `\acfp`.HaTeX The option / stands for "don't write the list of acronyms".HaTeXEnter an acronym inside the text. The first time the acronym is used, it will specify the full name, and between parenthesis, the short name. If you specified the  option, it will print the short name, and add a footnote with the long name. The next time, only the short time is printed.HaTeXYou can use this command to later in the text again print the full name of the acronym, this stands for "full acronym", it always prints the full name, and the acronym between parenthesis.HaTeXAThis will enter the short version of the acronym inside the text.HaTeXwThis will enter the expanded version of the acronym in the text, without mentioning the acronym between parenthesis.HaTeXThis works the same way as H, except that it will make the short and the long forms into plurals.HaTeXThis works the same way as C, except tah it will make the short and long forms into plurals.HaTeXWorks the same way as ), but makes the short form into a plural.HaTeXWorks the same way as (, but makes the long form into a plural. HaTeXVPrints the full name acronym in italics and the abbreviated form in an upshaped form.!HaTeX;Prints the short form of the acronym, and marks it as used."HaTeX9Prints the long form of the acronym and marks it as used.#HaTeXWorks the same way as the B command, but prefixes it with an appropriate indefinite article.$HaTeXWorks the same way as the M command, but prefixes it with an appropriate upper case indefinite article.%HaTeXEnter an acronym inside the text. It will specify the full name, and between parenthesis, the short name. If you specified the { option, it will print the short name, and add a footnote with the long name. This does not mark the acronym as used.&HaTeXYou can use this command to later in the text again print the full name of the acronym, this stands for "full acronym", it always prints the full name, and the acronym between parenthesis. This does not mark the acronym as used.'HaTeXjThis will enter the short version of the acronym inside the text. This does not mark the acronym as used.(HaTeXThis will enter the expanded version of the acronym in the text, without mentioning the acronym between parenthesis. This does not mark the acronym as used.)HaTeXThis works the same way as p, except that it will make the short and the long forms into plurals. This does not mark the acronym as used.*HaTeXThis works the same way as k, except tah it will make the short and long forms into plurals. This does not mark the acronym as used.+HaTeXWorks the same way as T, but makes the short form into a plural. This does not mark the acronym as used.,HaTeXWorks the same way as S, but makes the long form into a plural. This does not mark the acronym as used.-HaTeX~Prints the full name acronym in italics and the abbreviated form in an upshaped form. This does not mark the acronym as used..HaTeXfPrints the short form of the acronym, and marks it as used. This does not mark the acronym as used./HaTeXdPrints the long form of the acronym and marks it as used. This does not mark the acronym as used.0HaTeXWorks the same way as the j command, but prefixes it with an appropriate indefinite article. This does not mark the acronym as used.1HaTeXWorks the same way as the u command, but prefixes it with an appropriate upper case indefinite article. This does not mark the acronym as used.2HaTeXThe memory of the marco  is flushed, afterwards, P will print the full name of any acronym, and the acronym within parenthesis.3HaTeX9Marks an acronym as useed, as if it has been called with j, but without printing anything. In the future, only the short form of the acronym will be printed. 2 undoes this.4HaTeXThis can be used inside the 6 part to add extra data to the list of acrynyms, this will *not* be included when rendering the acronym in the document itself.5HaTeXBDefine an acronym environment to write the acronym definitions to.6HaTeXDefine an acronym with a label and both a short, and a long name. This returns the LaTeX code to define the acronym, and the  * object to use in the rest of the code.7HaTeXThe monadic variant of the 6 function where the  . is returned as a result of the definition.8HaTeXtDefine an acronym with a label, and only a long name. This returns the LaTeX code to define the acronym, and the  * object to use in the rest of the code.9HaTeXThe monadic variant of the 8 function, where the  , is returned as result of the definition.-  !"#$%&'()*+,-./0123456789-  !"#$%&'()*+,-./0123456879NoneHVa:HaTeX-Language configuration. You may use one with T.>HaTeX Languages.?HaTeX Bulgarian.@HaTeXBrazilian Portuguese.AHaTeXCanadian French.BHaTeXCzech.CHaTeXDutch.DHaTeXEnglish.EHaTeXFinnish.FHaTeXParisian French.GHaTeXFrench.HHaTeXFrench.IHaTeX Old German.JHaTeX New German.KHaTeX Icelandic.LHaTeXItalian.MHaTeX Hungarian.NHaTeX Portuguese.OHaTeXRussian.PHaTeXSpanish.QHaTeX Ukranian.RHaTeXZBabel package. When writing in a single language, the simplest way of using it is with S.KIn the preamble, use the following (if your language of choice is Spanish): uselanguage Spanish0To see a list of available languages, check the > type.SHaTeX Import the R package using a given >. )uselanguage l = usepackage [texy l] babel;If you are using more than one language, consider to use T.THaTeX Import the l package using a given language configuration, featuring a main language and some others. For example: +uselanguageconf $ LangConf English [German]CThis will use English as main language, and German as secondary.UHaTeXSwitch to a given >.VHaTeXUse a > locally.WHaTeX The function W takes two arguments; the second argument is a phrase to be typeset according to the rules of the language named in its first argument.:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWR>?@ABCDEFGHIJKLMNOPQS:;<=TUVWSafeHV3\HaTeXA \ of a presentation. See *. A preview of each one is given below.]HaTeX $docfiles/beamers/previewAnnArbor.png^HaTeX #docfiles/beamers/previewAntibes.png_HaTeX "docfiles/beamers/previewBergen.png`HaTeX $docfiles/beamers/previewBerkeley.pngaHaTeX "docfiles/beamers/previewBerlin.pngbHaTeX $docfiles/beamers/previewBoadilla.pngcHaTeX 'docfiles/beamers/previewCambridgeUS.pngdHaTeX &docfiles/beamers/previewCopenhagen.pngeHaTeX %docfiles/beamers/previewDarmstadt.pngfHaTeX #docfiles/beamers/previewDresden.pnggHaTeX %docfiles/beamers/previewFrankfurt.pnghHaTeX &docfiles/beamers/previewGoettingen.pngiHaTeX $docfiles/beamers/previewHannover.pngjHaTeX #docfiles/beamers/previewIlmenau.pngkHaTeX 'docfiles/beamers/previewJuanLesPins.pnglHaTeX #docfiles/beamers/previewLuebeck.pngmHaTeX "docfiles/beamers/previewMadrid.pngnHaTeX "docfiles/beamers/previewMalmoe.pngoHaTeX #docfiles/beamers/previewMarburg.pngpHaTeX 'docfiles/beamers/previewMontpellier.pngqHaTeX $docfiles/beamers/previewPaloAlto.pngrHaTeX &docfiles/beamers/previewPittsburgh.pngsHaTeX %docfiles/beamers/previewRochester.pngtHaTeX %docfiles/beamers/previewSingapore.pnguHaTeX "docfiles/beamers/previewSzeged.pngvHaTeX "docfiles/beamers/previewWarsaw.pngzHaTeXxPercentage of opaqueness for the specified overlays. In 'Opaqueness overlaySpecification percentageOfOpaqueness' the overlaySpecification; specifies on which slides covered text should have which percentageOfOpaqueness-. Unlike other overlay specifications, this overlaySpecification& is a relative overlay specification.|HaTeXOptions for covering text}HaTeX+Causes covered text to completely disappear~HaTeX5Causes covered text to be typset in a transparent wayHaTeXMakes all covered text quite transparent, but in a dynamic way. The longer it will take till the text is uncovered, the stronger the transparency.HaTeXHas the same effect as dynamic, but the effect is stronger. | StillCovered [Opaqueness] -- ^ Specifies how to render covered items -- that have not yet been uncovered. | AgainCovered [Opaqueness] -- ^ Specifies how to render covered items -- that have once more been covered, that -- is, that had been shown before but are -- now covered again.HaTeX$Specifications for beamer functions.HaTeXThe > document class. Importing a package is not required. Example: documentclass [] beamerHaTeX]A presentation is composed of a sequence of frames. Each frame is created with this function.HaTeX4Set the title of the current frame. Use it within a .HaTeX7Set the subtitle of the current frame. Use it within a .HaTeX+Highlight in red a piece of text. With the Bs, you can specify the slides where the text will be highlighted.HaTeXIntroduces a pause in a slide.HaTeX works like itemI, but allows you to specify the slides where the item will be displayed.HaTeXWith , show a piece of text only in the slides you want. On other slides, the text still occupies space and it is still typeset, but it is not shown or only shown as if transparent.HaTeXWith  the text is inserted only into the specified slides. For other slides, the text is simply thrown away (it occupies no space).HaTeXThe behavior of the 3 command depends on whether the optional argument text is given or not. If a text argument is present, % (without a 'modifier') is mapped to .HaTeXThe ! command does almost the same as . The only difference is that if the text is not shown, it is never shown in a transparent way, but rather it is not shown at all. Thus for this command the transparency settings have no effect.HaTeXThe  is the opposite of .HaTeX works like colorD, but allows you to specify the slides where the text will be bold.HaTeX Inside the  environment, use 3 commands to specify different things that should be shown for this environment on different slides. Everything within the environment will be placed in a rectangular area of the specified width. The height and depth of the area are chosen large enough to acoommodate the largest contents of this area.HaTeXA & will be displayed surrounding a text.HaTeX The command U allows you to specify in a quite general way how a covered item should be rendered.HaTeXSet the \1 employed in your presentation (in the preamble).HaTeXTitle for the blockHaTeXContent of the blockHaTeXResult;\]^_`abcdefghijklmnopqrstuvwxyz{|}~;|}~z{\]^_`abcdefghijklmnopqrstuvwxyNone47>HV&HaTeX0BibLaTeX package. Use it to import it like this: usepackage [] biblatexHaTeX>Use a bibliography file as resource for reference information.HaTeXTransform a citation into  \textcite6, i.e. so that it can be used as a noun in a sentence.HaTeXTransform a citation into  \Textcite>, i.e. so that it can be used as the first word in a sentence.HaTeXrReference-resolver function, for looking up BibTeX entries for a given DOI. If the DOI cannot be looked up (Nothing{), we just include a footnote with a synopsis and the DOI in literal form. (Mostly intended to ease offline editing.)HaTeXHThe document content, possibly containing citations in DOI-only form.HaTeX;LaTeX rendition. The content will already be wrapped in \begin &end{document}( here and an automatically-generated .bib) file included, but you still need to  usepackage  yourself.HaTeX$The unambiguous document identifier.HaTeX+Synopsis of the cited work, in the form *"J Doe et al 1950: Investigation of a Foo";; this is strictly speaking optional, the synopsis will notU be included in the final document (provided the DOI can be properly resolved).HaTeXA .bib5 file containing entries for all relevant literature.HaTeXLookup-function, suitable for .    SafeHV HaTeX0bigstrut package. Use it to import it like this: usepackage [] bigstrutHaTeX,  and 1 produce a strut (a rule with width 0) which is  bigstrutjot (2pt by default) higher, lower, or both than the standard array/tabular strut. Use them in table entries that are adjacent to hlines to leave an extra bit of spaceSafeHVHaTeXOther predefined colors.HaTeX?Specify your own color using one of the different color models.HaTeXkEach parameter determines the proportion of red, green and blue, with a value within the [0,1] interval.HaTeX'Grayscale, from 0 (black) to 1 (white).HaTeX Basic colors.HaTeXColor specification. HaTeXThe   package. usepackage [] pcolor HaTeX_To convert all colour commands to black and white, for previewers that cannot handle colour.HaTeX=Set the background color for the current and following pages.HaTeXSwitch to a new text color.HaTeX1Set the text of its argument in the given colour.HaTeX>Put its argument in a box with the given colour as background.HaTeXApplication of fcolorbox cs1 cs2 l put l in a framed box with cs1 as frame color and cs2 as background color.HaTeXTSwitch to the colour that was active at the end of the preamble. Thus, placing a Q command in the preamble can change the standard colour of the whole document.[     [     NoneHV HaTeX7Header and footer settings of a LaTeX document. Use +P to apply these settings in your document. A default value is provided by *., which you can modify using record syntax. mySettings :: HdrSettings mySettings = defaultHdrSettings { centerHeader = "Amazing header" , headRuleWidth = Pt 2 })HaTeX1The fancyhdr package. Please, consider to use +v instead of importing the package manually. If you really want to do it manually, use the functions from the  raw interface exposed below.*HaTeX#Default header and footer settings.&It leaves everything empty but the % field, which is filled with Q.#Also, it sets to 0.4 points the ' field.+HaTeXApply custom header and footer settings to a LaTeX document. It takes care of package importing and page style settings, so using this function is enough to get the settings applied. Do not import the )% package again. To be used in the preamble.,HaTeXPage style of the ) package.-HaTeXSet the left header..HaTeXSet the center header./HaTeXSet the right header.0HaTeXSet the left footer.1HaTeXSet the center footer.2HaTeXSet the right footer.3HaTeXSet the  headrulewidth attribute.4HaTeXSet the  footrulewidth attribute. !"#$%&'()*+,-./01234) !"#$%&'(*+,-./01234NoneHVT7HaTeXFont encodings.:HaTeXThe fontenc* package. It is recommended to use the ; function to import it.;HaTeXqIn the preamble, select encodings to use in your document. The last one will be the default encoding. Example: useencoding [T1]It imports the fontenc package. In fact: 2useencoding xs = usepackage (fmap texy xs) fontenc789:;:789;NoneHVS?HaTeX Options of the geometry package.GHaTeX0Geometry package. Use it to import it like this: usepackage [] geometry(In most cases, it is recommended to use I instead.HHaTeX1Apply the given geometry options to the document.IHaTeX4Import the geometry package with additional options. ?@ABCDEFGHI GI?@ABCDEFHSafeHV LHaTeXIInclude Graphics Option. These options can be passed as arguments to the Y function.MHaTeX2Specify the preferred width of the imported image.NHaTeX3Specify the preferred height of the imported image.OHaTeXWhen L,, it will scale the image according to both M and N4 , but will not distort the image, so that neither M nor N are exceeded.PHaTeX-Scales the image by the desired scale factor.QHaTeX"Rotate the image by given degrees.RHaTeXwThis option will crop the imported image. Arguments are from-left , from-bottom, from-right and from-top respectively.SHaTeXFor the R option to work, you must set S to L.THaTeXyIf the image file is a pdf file with multiple pages, this parameter allows you to use a different page than the first.UHaTeXThe U package. usepackage [] graphicxVHaTeXPackage option of the U package.WHaTeXPackage option of the U package.XHaTeXPackage option of the U package.YHaTeX!Include an image in the document.ZHaTeX1Rotate the content by the given angle in degrees.[HaTeXzScale the content by the given factor. If only the horizontal scale is supplied, the vertical scaling will be the same.\HaTeX!Reflect horizontally the content.]HaTeX1Resize the content to match the given dimensions.YHaTeXOptionsHaTeX Image file[HaTeXHorizontal scale.HaTeXVertical scale.]HaTeXHorizontal size.HaTeXVertical size.LMNOPQRSTUVWXYZ[\]UVWXLMNOPQRSTYZ[\]SafeHV,P`HaTeX9Specification for how pages of a PDF should be displayed.aHaTeX1Displays a single page; advancing flips the page.bHaTeX1Displays a single page; advancing flips the page.cHaTeXEDisplays the document in two columns, odd-numbered pages to the left.dHaTeXFDisplays the document in two columns, odd-numbered pages to the right.eHaTeXCDisplays two pages, odd-numbered pages to the left (since PDF 1.5).fHaTeXDDisplays two pages, odd-numbered pages to the right (since PDF 1.5).lHaTeXThe l package. usepackage [] hyperrefnHaTeXReference to an g.oHaTeX Write an g hyperlinked.pHaTeX Write an g without creating a hyperlink.qHaTeXEstablish a base g.rHaTeXhyperimage imgURL t,: The link to the image referenced by the imgURL is inserted, using t as the anchor.sHaTeX$This is a replacement for the usual refB command that places a contextual label in front of the reference.tHaTeX Similar to s_, but inserts text corresponding to the section name. Note that this command comes from the nameref< package, but it's automatically included when importing l.MHaTeX*Creates a single-parameter package option.uHaTeXHThis package option selects the pdfTeX backend for the Hyperref package.vHaTeX>This package option sets the document information Title field.wHaTeX?This package option sets the document information Author field.xHaTeX@This package option sets the document information Subject field.yHaTeX@This package option sets the document information Creator field.zHaTeXAThis package option sets the document information Producer field.{HaTeXAThis package option sets the document information Keywords field.|HaTeXEThis package option sets the document information Trapped entry. An D$ value means, the entry is not set. }HaTeXDThis package option determines on which page the PDF file is opened.~HaTeX1This package option sets the layout of PDF pages.HaTeX6 = m.`bacdefghijklmnopqrstuvwxyz{|}~lhijkgmnopqrstuvwxyz{|}~`bacdefSafeHV/XHaTeXInputenc package. Example: usepackage [utf8] inputencHaTeXUTF-8 encoding.HaTeXLatin-1 encoding.SafeHV@cHaTeX1longtable package. Use it to import it like this: usepackage [] longtableHaTeXThe 6 environment can be used to typeset multi-page tables.HaTeXEnd the first head.\Everything above this command will appear at the beginning of the table, in the first page.HaTeX End the head.Whatever you put before this command and below endfirsthead will be displayed at the top of the table in every page except the first one.HaTeX End the foot.Similar to endhead, what you put after endhead and before this command will appear at the bottom of the table in every page except the last one.HaTeXEnd the last foot.Similar to endfisthead. The elements after endfoot and before this command will be displayed at the bottom of the table but only in the last page where the table appears.HaTeXcThis optional parameter can be used to specify the vertical position of the table. Defaulted to Center.HaTeX2Table specification of columns and vertical lines.HaTeXTable content. See &, lnbk, hline and cline.HaTeXResulting table syntax.SafeHVKBHaTeX.lscape package. Use it to import it like this: usepackage [] lscapeHaTeXThis package option makes H rotate the PDF paper  not just the text on the page  when given the  option. (Naturally, this works only with pdfLaTeX.) The result is that the text is viewable online without the reader having to rotate his/her head 90 degrees. The document still prints normally.HaTeXAll text within the  environment is rotated through 90 degrees. The environment may span several pages. It works well with, and was originally created for, use with  longtable to produce long wide tables.HaTeXText to be rotatedHaTeXResulting rotated text.SafeHVX!HaTeXType of bigstruts count. It is mainly used if you ve used the bigstrut package. It is the total number of uses of bigstruts within rows being spanned in a multirow.HaTeXNormal bigstrutsHaTeXBigstruts in the top rowHaTeXBigstruts in the bottom rowHaTeX$Bigstruts in the top and bottom rowsHaTeX0multirow package. Use it to import it like this: usepackage [] multirowHaTeXS sets a piece of text in a tabular or similar environment, spanning multiple rows.HaTeX?Optional vertical positioning of the text in the multirow blockHaTeXNumber of rows to spanHaTeXFOptinal total number of uses of bigstrut within the rows being spannedHaTeX$Width to which the text is to be setHaTeX.Optinal length used to raise or lower the textHaTeXActual text of the constructSafeHVj^HaTeX)Options to use when generating a QR code.HaTeXQWhether to include 4 modules of whitespace around the code. False is the default.HaTeXWhether, if the code encodes a link, it should be hyperlinked in the PDF document. The default is true. Links will only be generated when the document uses the hyperref package.HaTeXYThe desired degree of error-correction redundancy to include in the code. The default is .HaTeXLThe degree of error-correction redundancy to include in the generated code.HaTeXError recovery up to 7%.HaTeXError recovery up to 15%.HaTeXError recovery up to 25%.HaTeXError recovery up to 30%.HaTeX.qrcode package. Use it to import it like this: usepackage [] qrcodeHaTeX'The default QR code generation options.HaTeX`This package option sets the qrcode package to generate draft-quality placeholders for QR codes.HaTeXfThis package option (which is the default) sets the qrcode package to generate print-quality QR codes.HaTeX7Generates a QR code with specified options and content.CThis uses the qrcode command from the package, but the identifier  is already in use as the . SafeHVsNHaTeXThe  package. Example: usepackage [] prelsizeHaTeXChange font size by i steps. A step is a number of  '\magsteps'1 to change size; from this are defined commands  '\larger',  '\smaller',  '\textlarger', etc.HaTeX!Increase font size by (optional) i steps (default 1).HaTeXReduce font size by i steps (default 1).HaTeX!Change font size by scale factor f.HaTeX!Text size enlarged by (optional) i steps.HaTeX Text size reduced by (optional) i steps.HaTeXText size scaled by factor f.!SafeHV~OHaTeX0tabularx package. Use it to import it like this: usepackage [] tabularxpHaTeXThe  environment takes the same arguments as tabular*, but modifies the widths of certain columns, rather than the inter column space, to set a table with the requested total width. The columns that may stretch are marked with the new token X in the preamble argument.HaTeXWidth of the whole tabular.HaTeXcThis optional parameter can be used to specify the vertical position of the table. Defaulted to Center.HaTeX2Table specification of columns and vertical lines.HaTeXTable content. See &, lnbk, hline and cline.HaTeXResulting table syntax."SafeHVeHaTeX/ltablex package. Use it to import it like this: usepackage [] ltablexHaTeXSTreet the specified width as the maximum allowed, not the exact width of the table.ltablex has added a feature that treats the X columns like l  columns if the table contents would allow that to happen without exceeding the specified width of the table. In other words, the specified width is treated as the maximum allowed and not the exact width of the table. This feature is the default but can be disabled (or enabled) with keepXColumns (or convertXColumns).#SafeHVHaTeX;Different types of actions that can be performed with a . See  for more information.HaTeXA Tik Z script.HaTeXParameters to use in a 8 to change how things are rendered within that scope.HaTeXAngle is in degrees.HaTeXColor models accepted by TikZ.HaTeXType 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.HaTeXLet  y = Start p. Operation:" Set the starting point of a path. Last point: The last point of y is p.HaTeXLet  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.HaTeXLet  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.HaTeXLet 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.HaTeXLet 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.HaTeXLet y = Ellipse x r1 r2. Operation:4 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.HaTeXLet  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.HaTeX A point in TikZ.HaTeX Point using /s for coordinantes.HaTeX#Point using numbers as coordinates.HaTeXThree-dimensional point.HaTeX'Makes a point relative to the previous.HaTeX"Calculate the starting point of a .HaTeXCalculate the last point of a .HaTeX Alias of .HaTeXJust an empty script.HaTeX%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.6It is possible to stack different effects in the list.Example of usage: 5path [Draw] $ Start (pointAtXY 0 0) ->- pointAtXY 1 15Most common usages are exported as functions. See , , , ,  and .HaTeXApplies a scope to a Tik Z script.HaTeXSequence two Tik Z scripts.HaTeXEquivalent to  path [Draw].HaTeXEquivalent to  path [Fill].HaTeXEquivalent to  path [Clip].HaTeXEquivalent to  path [Shade].HaTeXEquivalent to path [Fill,Draw].HaTeXEquivalent to path [Shade,Draw].::$SafeHV\HaTeXUse a  path builder to construct a value of type  . Use  for this purpose.HaTeX-Line from the current point to the given one.HaTeX^Rectangle with the current point as one cornder and the given point as the opposite corner.HaTeX;Circle with the given radius centered at the current point.HaTeX^Ellipse with width and height described by the arguments and centered at the current point.HaTeX#Text centered at the current point.HaTeXBuild a path using a starting point and a .HaTeXHalf width of the ellipse.HaTeXHalf height of the ellipse.  %SafeHV3 HaTeX Import the  u package to use the functions exported by this module. For example, adding this line to your document preamble: usepackage [] tikz HaTeXTransform a TikZ script to a  block.E    &SafeHV HaTeXA figure in the plane.HaTeXLine along a list of points.HaTeXULine along a list of points, but the last point will be joined with the first one.HaTeXSame as /, but the inner side will be filled with color.HaTeXiRectangle with top-right corner at the given point and width and height given by the other parameters.HaTeXSame as , but filled with color.HaTeX9Circle centered at the given point with the given radius.HaTeXAs in (, but it will be filled with some color.HaTeX[Ellipse centered at the given point with width and height given by the other parameters.HaTeXSame as , but filled with some color.HaTeX Insert some  code, centered at the given F. The text should not be very complex to fit nicely in the picture.HaTeXColor for the given  .HaTeXLine width for the given  .HaTeXScaling of the given   by a factor.HaTeX Rotate a   by a given angle (in radians).HaTeX'A figure composed by a list of figures.HaTeXA point in the plane.HaTeX Translate a   to a  script.HaTeXThe figure of a path. A path (in this context) means a function from an interval to the plane. The image of such a function is what this function returns as a  H. An additional argument is needed to set the precision of the curve.}The actual implementation builds a spline of degree one joining different points of the image. Given that the interval is (a,b)F 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)F. The smaller is , 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 = 4HaTeXPrecision argument, .HaTeX Interval, (a,b).HaTeXPath function, f.HaTeXOutput figure.#   #   'SafeHV HaTeXTree datatype.!HaTeXLeafs are non-empty."HaTeXNode values are optional. "! "!(NoneHV&HaTeXThe & package.'HaTeXGiven a function to LaTeX values, you can create a LaTeXS tree from a Haskell tree. The function specifies how to render the node values.(HaTeXThis function works as ' , but use  as rendering function.)HaTeXInstance defined in Text.LaTeX.Packages.Trees.Qtree. "!&'(&'(N./0./1./2./3./4.56.789:;<=><=?<=@<=A<=B<=C<=D<=A<=E<FG<FH<FI<FJKLM)NOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                          !"#$%&'()*+,-./012345678 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                   !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                 !"#$%&'()*+,-./0123456789:;<=>-?@ABCCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~*f]    I    !!"""################################## # # # # ################### #!#"###$#%#&#'$($)$*$+$,$-$.$/$0$1$2$3%4%5&6&&7&8&&9&&:&&;&M&<&=&>&?&@&A&B&C'D'E''F'G'H(I(J(K(L)M)N)O)P)Q)R)S./T./UVWXYZ.[\.[]^_.`abcdbce.fg.fh.fi.fjklm.no9pq.rs t.uv.uw.ux.yzbc{bc|bc}~%HaTeX-3.22.2.0-Aexj8si2Emz9RV9ram9LvuText.LaTeX.Base.SyntaxText.LaTeX.Base.ClassText.LaTeX.Packages.ColorText.LaTeX.Base.WriterText.LaTeX.Base.ParserText.LaTeX.Base.RenderText.LaTeX.Base.CommandsText.LaTeX.Base.PrettyText.LaTeX.Base.TexyText.LaTeX.Base.TypesText.LaTeX.Base.WarningsText.LaTeX.Base.MathText.LaTeX.Packages.AMSFontsText.LaTeX.Packages.AMSMathText.LaTeX.Packages.AMSSymbText.LaTeX.Packages.AMSThmText.LaTeX.Packages.AcronymText.LaTeX.Packages.BabelText.LaTeX.Packages.BeamerText.LaTeX.Packages.BibLaTeXText.LaTeX.Packages.BigstrutText.LaTeX.Packages.FancyhdrText.LaTeX.Packages.FontencText.LaTeX.Packages.GeometryText.LaTeX.Packages.GraphicxText.LaTeX.Packages.HyperrefText.LaTeX.Packages.InputencText.LaTeX.Packages.LongTableText.LaTeX.Packages.LscapeText.LaTeX.Packages.MultirowText.LaTeX.Packages.QRCodeText.LaTeX.Packages.RelsizeText.LaTeX.Packages.TabularXText.LaTeX.Packages.LTableXText.LaTeX.Packages.TikZ.Syntax$Text.LaTeX.Packages.TikZ.PathBuilderText.LaTeX.Packages.TikZText.LaTeX.Packages.TikZ.SimpleText.LaTeX.Packages.TreesText.LaTeX.Packages.Trees.Qtree Paths_HaTeXincludegraphicsText.LaTeX.Base Text.LaTeXqedbaseGHC.Base<>memptymappendmconcatMonoidGHC.WordWord8Control.Monad.IO.ClassliftIOtransformers-0.5.5.0Control.Monad.Trans.Classliftparsec-3.1.13.0Text.Parsec.Error errorMessageserrorPos messageStringMessageExpectUnExpect SysUnExpect ParseErrorText.Parsec.Pos sourceColumn sourceLine sourceName SourcePos text-1.2.3.1Data.Text.InternalTextversionTeXArgFixArgOptArgMOptArgSymArgMSymArgParArgMParArgLaTeXTeXRawTeXCommTeXCommSTeXEnvTeXMath TeXLineBreak TeXBraces TeXCommentTeXSeqTeXEmptyMathType ParenthesesSquareDollar DoubleDollarMeasurePtMmCmInExEm CustomMeasurebetween protectString protectTextlookForCommand matchCommand lookForEnvmatchEnvtexmaptexmapMgetBody getPreamble$fHashableMathType$fHashableLaTeX$fHashableTeXArg$fHashableMeasure$fArbitraryTeXArg$fArbitraryLaTeX$fArbitraryMeasure$fIsStringLaTeX$fSemigroupLaTeX $fMonoidLaTeX$fDataMathType $fEqMathType$fGenericMathType$fShowMathType $fDataTeXArg $fEqTeXArg$fGenericTeXArg $fShowTeXArg $fDataLaTeX $fEqLaTeX$fGenericLaTeX $fShowLaTeX $fDataMeasure $fEqMeasure$fGenericMeasure $fShowMeasureLaTeXC liftListL fromLaTeXliftLliftL2liftL3liftL4liftL5liftL6liftL7liftL8liftL9fixComm optFixCommfixEnvcomm0comm1comm2comm3comm4comm5comm6comm7comm8comm9commSenv0env1env2env3env4env5env6env7env8env9braces squareBracesraw $fLaTeXCLaTeXRenderrender renderBuilder renderAppend renderChars renderCommas renderFile readFileTex rendertex showFloat $fRender[] $fRenderBool $fRenderWord8$fRenderDouble $fRenderFloat$fRenderInteger $fRenderInt$fRenderTeXArg $fRenderLaTeX$fRenderMeasure $fRenderTextdocLaTeX prettyLaTeXParser ParserConfverbatimEnvironmentsdefaultParserConf parseLaTeXparseLaTeXWithparseLaTeXFileparseLaTeXFileWith latexParserlatexBlockParserTexytexy $fTexyMeasure $fTexyBool $fTexyFixed $fTexyChar $fTexyDouble $fTexyFloat $fTexyInteger $fTexyInt $fTexyText $fTexyLaTeX TableSpec LeftColumn CenterColumn RightColumn ParColumnTop ParColumnMid ParColumnBot NameColumn BeforeColumn AfterColumn VerticalLine DVerticalLine SeparatorHPosHLeftHCenterHRightPosBottomCenterTopHereForcePosLabel PageStyle PackageName ClassName createLabel labelName$fIsStringLabel $fRenderLabel $fRenderPos $fRenderHPos$fRenderTableSpec $fEqLabel $fShowLabel $fShowPos $fShowHPos$fShowTableSpecTeXCheckcheckWarning UnusedLabelUndefinedLabelNoClassSelectedNoDocumentInserted CustomWarningcheckFromFunctioncheckAll checkClasscheckDoc checkLabels$fMonoidTeXCheck$fSemigroupTeXCheck $fEqWarning $fShowWarningLaTeXMLaTeXT_LaTeXT runLaTeXM execLaTeXM runLaTeXT execLaTeXTexecLaTeXTWarn extractLaTeX extractLaTeX_textellliftFunliftOp mapLaTeXT rendertexM$fSemigroupLaTeXT$fMonoidLaTeXT$fIsStringLaTeXT$fLaTeXCLaTeXT$fMonadIOLaTeXT $fMonadLaTeXT$fMonadTransLaTeXT$fApplicativeLaTeXT$fFunctorLaTeXTmath mathDisplaynonumberequation equation_ autoParensautoSquareBrackets autoBracesautoAngleBrackets autoBracketslangleranglelfloorrfloorlceilrceildblPipe^:!:!^tsinarcsintcosarccosttanarctancotarccottsinhtcoshttanhcothseccsctexptloglntsqrt operatornametsum sumFromToprod prodFromTocoprod coprodFromTobigcup bigcupFromTobigcap bigcapFromTointegralintegralFromTopartialtotald partialOftotaldOf+--+cdottimesdiv_frac*:starcircbullet=:/=:>:>=:<:<=:llggproptoperpparallelequivin_ninotinsubsetsupsetcapcupsetminusveewedgeoplusominusotimesoslashodothattildebarvecwidehat widetildedotoverlinealphabetagammagammaudeltadeltauepsilon varepsilonzetaetathetavarthetathetauiotakappalambdalambdaumunuxixiupi_varpipiurhovarrhosigmavarsigmasigmautauupsilonupsilonuphivarphiphiuchipsipsiuomegaomegaupmmptomapstoimpliesforallexistsdaggerddaggerinftyimathjmathbotuparrow downarrowuparrow2 downarrow2 updownarrow updownarrow2 leftarrow rightarrowleftrightarrowleftrightarrow2 leftarrow2 rightarrow2 longleftarrowlongrightarrowlongleftarrow2longrightarrow2longleftrightarrowlongleftrightarrow2nwarrownearrowswarrowsearrow longmapsto hookleftarrowhookrightarrow leftharpoonuprightharpoonupleftharpoondownrightharpoondown mathdefaultmathbfmathrmmathcalmathsfmathttmathit$fFloatingLaTeXT$fFractionalLaTeXT $fNumLaTeXT$fFloatingLaTeX$fFractionalLaTeX $fNumLaTeX PaperTypeA0A1A2A3A4A5A6B0B1B2B3B4B5B6Letter ExecutiveLegal ClassOptionDraft TitlePage NoTitlePage OneColumn TwoColumnOneSideTwoSide Landscape OpenRightOpenAnyFleqnLeqnoFontSizePaper CustomOptioncomment%: maketitletitledateauthor institutethanks usepackagelatexparnewlinepartchaptersectionsection' subsection subsection' subsubsectionsubsubsection' paragraph subparagraphtableofcontentsappendixitem enumerateitemize description flushleft flushrightcenterquoteverseminipagefiguretableabstractcite customopt documentclassarticleprocminimalreportbookslidesa0papera1papera2papera3papera4papera5papera6paperb0paperb1paperb2paperb3paperb4paperb5paperb6paper letterpaperexecutivepaper legalpaperdraftfleqnleqno titlepage notitlepage onecolumn twocolumnonesidetwoside landscape openrightopenanydocument pagenumberingarabicromanroman_alphalph_ pagestyle thispagestyleplainheadingsempty myheadingsmarkboth markrightlnbklnbk_lnbkspclnbkspc_hypcleardoublepage clearpagenewpage linebreak nolinebreak pagebreak nopagebreak hyphenationmboxfboxtodaythePagetexlaTeX2laTeXeldotsvdotsddotsqts centering raggedleft raggedrightfootnote footnotemark footnotetext stepcounter addtocounter linespread baselineskipindentnoindenthspacehspace_quadqquadstretchvspacevspace_ addvspacehfillvfilldotfill hrulefillprotect textwidth textheight linewidthverbatimverb underlineemphtextrmtextsftexttttextmdtextbftextuptextittextsltextsc textnormaltiny scriptsize footnotesizesmall normalsizelargelarge2large3hugehuge2 smallskipmedskipbigskiptabulararray&hlinetabularnewlinetabularnewlineSpcarraybackslash multicolumn matrixTabularclineparboxmakeboxframeboxraiseboxrulehatexhatex3 hatex_versioncaptionlabelrefpagerefinputinclude$fRenderPaperType$fIsStringClassOption$fRenderClassOption$fShowPaperType$fShowClassOptionamsfontsmathbbmathfraknaturalsintegers rationalsreals complexes quaternions trealPart timagPartamsmatheqrefalignalign_casestfracddotdddottextpmatrixbmatrixb2matrixvmatrixv2matrix thinspacemedspace thickspacenegspacespace$fTexy[] $fTexyMatrix $fTexy(,,,) $fTexy(,,) $fTexy(,) $fTexyRatioamssymbvartriangleleftvartrianglerightleftleftarrowsrightrightarrowsrightleftarrowsleftrightarrows upuparrowsdowndownarrowslllggg leftarrowtailrightarrowtailcurvearrowleftcurvearrowrighttwoheadleftarrowtwoheadrightarrow checkmarklozenge blacklozengenexistslessdotgtrdotsquare blacksquarerightleftharpoonslsh2rsh2 leftarrow3 rightarrow3rightsquigarrowleftrightsquigarrow looparrowleftlooparrowrightcirclearrowleftcirclearrowright upharpoonleftupharpoonrightdownharpoonleftdownharpoonright nleftarrow nrightarrow nleftarrow2 nrightarrow2nleftrightarrownleftrightarrow2 TheoremStylePlain DefinitionRemarkCustomThmStyleamsthm newtheoremtheoremproofqedhere theoremstyle$fRenderTheoremStyle$fShowTheoremStyleAcronym acronymLabelpacronym nohyperlinks printonlyusedwithpagesmallerduanolistacacfacsaclacpacfpacspaclpacfiacsuacluiaciac2ac'acf'acs'acl'acp'acfp'acsp'aclp'acfi'acsu'aclu'iac'iac2' acresetallacused acroextraacronymacroacroMacro'acroM'LangConfmainLang otherLangsLanguage Bulgarian BrazilianCanadienCzechDutchEnglishFinnishFrancaisFrenchFrenchBGermanNGerman IcelandicItalianMagyar PortugueseRussianSpanishUkranianbabel uselanguageuselanguageconfselectlanguage otherlanguageforeignlanguage$fTexyLanguage$fRenderLanguage$fShowLanguage$fShowLangConfThemeAnnArborAntibesBergenBerkeleyBerlinBoadilla CambridgeUS Copenhagen DarmstadtDresden Frankfurt GoettingenHannoverIlmenau JuanLesPinsLuebeckMadridMalmoeMarburg MontpellierPaloAlto Pittsburgh Rochester SingaporeSzegedWarsawBoxesDefault CustomTheme Opaqueness CoverOption Invisible TransparentDynamic HighlyDynamic OverlaySpecOneSlide FromSlideToSlide FromToSlidebeamerframe frametitle framesubtitlealertpause beameritemuncoveronlyonslidevisible invisible beamercolor overprintblocksetbeamercoveredusetheme$fRenderOverlaySpec$fRenderCoverOption $fRenderTheme$fShowOverlaySpec$fShowCoverOption$fShowOpaqueness $fEqTheme $fShowThemeReferenceQueryT DOIReferencePlainDOIbiblatexaddbibresourceprintbibliographydocumentWithDOIReferencesciteDOItextctextC masterBibFile$fOrdDOIReference$fEqDOIReference$fLaTeXCReferenceQueryT$fMonoidReferenceQueryT$fSemigroupReferenceQueryT$fIsStringReferenceQueryT$fMonadIOReferenceQueryT$fMonadReferenceQueryT$fApplicativeReferenceQueryT$fGenericDOIReference$fEqCitationFlavour$fOrdCitationFlavour$fShowCitationFlavour$fGenericReferenceQueryT$fFunctorReferenceQueryT bigstrutpbigstrut bigstrutTopbigstrutBottom ColorNameApricot Aquamarine Bittersweet BlueGreen BlueVioletBrickRedBrown BurntOrange CadetBlue CarnationPinkCeruleanCornflowerBlue Dandelion DarkOrchidEmerald ForestGreenFuchsia GoldenrodGray GreenYellow JungleGreenLavender LimeGreenMahoganyMaroonMelon MidnightBlueMulberryNavyBlue OliveGreenOrange OrangeRedOrchidPeach Periwinkle PineGreenPlum ProcessBluePurple RawSienna RedOrange RedViolet Rhodamine RoyalBlue RubineRedSalmonSeaGreenSepiaSkyBlue SpringGreenTanTealBlueThistle TurquoiseViolet VioletRedWildStrawberry YellowGreen YellowOrange ColorModelRGBRGB255GrayMHTMLCMYKColorRedGreenBlueYellowCyanMagentaBlackWhiteColSpecDefColorModColor DvipsColorpcolor monochrome dvipsnames nodvipsnamesusenames pagecolorcolor textcolorcolorbox fcolorbox normalcolor $fRenderColor$fRenderColorModel$fRenderColorName$fRenderColSpec $fShowColor$fShowColorModel$fShowColorName $fShowColSpec HdrSettings leftHeader centerHeader rightHeader leftFooter centerFooter rightFooter headRuleWidth footRuleWidthfancyhdrdefaultHdrSettingsapplyHdrSettingsfancylheadcheadrheadlfootcfootrfootrenewheadrulewidthrenewfootrulewidth$fEqHdrSettings$fShowHdrSettingsFontEncT1OT1fontenc useencoding $fTexyFontEnc$fRenderFontEnc $fShowFontEncGeometryOptionGHeightGWidthGPaper GCentered GPaperHeight GPaperWidth GLandscapegeometry applyGeometryimportGeometry$fRenderGeometryOption$fShowGeometryOptionIGOptionIGWidthIGHeightKeepAspectRatioIGScaleIGAngleIGTrimIGClipIGPagegraphicxdvipsdvipdfmpdftex rotateboxscalebox reflectbox resizebox$fRenderIGOption$fShowIGOption PdfPageLayout SinglePage TwoColumnLeftTwoColumnRight TwoPageLeft TwoPageRightURL HRefOptionPDFRemoteStartView PDFNewWindowHRefPagehyperref createURLhrefurl nolinkurl hyperbaseurl hyperimageautorefnamerefpdftitle pdfauthor pdfsubject pdfcreator pdfproducer pdfkeywords pdftrapped pdfstartpage pdfpagelayout$fRenderHRefOption $fIsStringURL $fRenderURL$fShowHRefOption $fShowURL$fEqPdfPageLayout$fOrdPdfPageLayout$fReadPdfPageLayout$fShowPdfPageLayoutinputencutf8latin1 longtablep longtable endfirstheadendheadendfoot endlastfootlscapeBigStrutsCount BigStruts BigStrutsTopBigStrutsBottomBigStrutsTopBottom multirowpmultirow$fRenderBigStrutsCount$fShowBigStrutsCount CodeOptionsincludePaddinglink errorLevel ErrorLevelLowMediumQualityHighqrcodedefaultOptionsfinalqr$fEqErrorLevel$fOrdErrorLevel$fReadErrorLevel$fShowErrorLevel$fEqCodeOptions$fShowCodeOptionsprelsizerelsizelargerrelscale textlarger textsmaller textscale tabularxptabularxltablex keepXColumnsconvertXColumns ActionTypeDrawFillClipShadeTikZ ParameterTWidthTColorTScaleTRotate TikZColor BasicColorRGBColorStepDimStepXYStep PointStep GridOptionGridStepTPathStartCycleLine RectangleCircleEllipseGridNodeTPointpointAt pointAtXY pointAtXYZrelPoint relPoint_ startingPoint lastPoint->- emptytikzpathscope->>drawfillclipshadefilldraw shadedraw$fRenderTPoint $fRenderStep$fRenderGridOption $fRenderTPath$fRenderTikZColor$fRenderParameter$fRenderActionType $fRenderTikZ $fShowTPoint $fShowStep$fShowGridOption $fShowTPath$fShowTikZColor$fShowParameter$fShowActionType $fShowTikZ PathBuilderpcycleline rectanglecircleellipsegridnodebpath$fMonadPathBuilder$fApplicativePathBuilder$fFunctorPathBuildertikz tikzpictureFigurePolygon PolygonFilledRectangleFilled CircleFilled EllipseFilledColored LineWidthScaleRotateFiguresPoint figuretikz pathImageTreeLeaf$fTraversableTree$fFoldableTree $fFunctorTreeqtreetree rendertree $fTexyTree getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNameStringMonad arbitraryRaw(QuickCheck-2.13.2-JmShDDDEHjQJVh0RGoNSDcTest.QuickCheck.Arbitrary Arbitrary arbitraryName Data.String fromStringIsStringfixArgs optFixArgsGHC.ShowShowghc-prim GHC.TypesCharBool Data.OldListunwordswordsunlineslines*prettyprinter-1.6.1-KjG1sEzf1n21EgCkj9uNVa"Data.Text.Prettyprint.Doc.InternalDocData.Functor.IdentityIdentityControl.Monad.Trans.Writer.LazyWriterT GHC.MaybeNothingnotop GHC.FloatasinhatanhacoshGHC.NumsignumIntDoubleTrue packageOption