;; -*- lexical-binding: t; -*-

(TeX-add-style-hook
 "macros"
 (lambda ()
   (setq TeX-command-extra-options
         "-shell-escape")
   (TeX-add-to-alist 'LaTeX-provided-class-options
                     '(("beamer" "handout" "aspectratio=169")))
   (TeX-add-to-alist 'LaTeX-provided-package-options
                     '(("inputenc" "utf8") ("babel" "spanish") ("tikzsymbols" "") ("amssymb" "") ("amsmath" "") ("latexsym" "") ("stmaryrd" "") ("semantic" "") ("graphicx" "") ("eurosym" "") ("hyperref" "") ("array" "") ("multirow" "") ("tikz" "") ("pgfplots" "") ("listings" "") ("enumerate" "")))
   (add-to-list 'LaTeX-verbatim-environments-local "lstlisting")
   (add-to-list 'LaTeX-verbatim-environments-local "semiverbatim")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "lstinline")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "href")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "hyperimage")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "hyperbaseurl")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "nolinkurl")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "url")
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "path")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "lstinline")
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "path")
   (TeX-run-style-hooks
    "amssymb"
    "amsmath"
    "latexsym"
    "stmaryrd"
    "semantic"
    "graphicx"
    "eurosym"
    "hyperref"
    "array"
    "multirow"
    "tikz"
    "pgfplots"
    "listings"
    "enumerate")
   (TeX-add-symbols
    '("emph" 1)
    '("sync" 1)
    '("regla" 1)
    '("trconv" 1)
    '("trdiv" 1)
    '("testfrom" 1)
    '("comen" 1)
    '("transi" 2)
    '("tranb" 2)
    '("tranap" 2)
    '("tranp" 2)
    '("notrantire" 1)
    '("notranti" 1)
    '("trantire" 1)
    '("tranti" 1)
    '("tran" 1)
    '("putAt" 3)
    "tolevel"
    "gusano"
    "anchura"
    "mIUT"
    "Onodelta"
    "iocos"
    "giocos"
    "niocos"
    "ioco"
    "nioco"
    "IOTS"
    "LTS"
    "LTSs"
    "Lts"
    "after"
    "partes"
    "success"
    "fail"
    "pass"
    "nopass"
    "vacio"
    "traces"
    "Straces"
    "outs"
    "ins"
    "init"
    "tests"
    "vtests"
    "ltest"
    "noltest"
    "partini"
    "relini"
    "nat"
    "calS"
    "recup"
    "fin"
    "nil"
    "pdiv"
    "ok"
    "ic"
    "paral"
    "partest"
    "choice"
    "ichoice"
    "rec"
    "ocul"
    "may"
    "must"
    "nomust"
    "nomay"
    "ltmust"
    "llmust"
    "noltmust"
    "nollmust"
    "eqmust"
    "ltmay"
    "llmay"
    "noltmay"
    "nollmay"
    "eqmay"
    "llset"
    "appr"
    "dotminus"
    "act"
    "acttau"
    "timedomain"
    "agentset"
    "lsim"
    "cent"
    "pr"
    "ob"
    "fb"
    "var"
    "wait"
    "oldlstinline"
    "lstinline"
    "squareforqed"
    "qed"
    "MacrosTranGeneral"
    "MacrosTranGeneralProp"
    "MacrosTran"
    "MacrosNoTran"
    "MacrosVTran"
    "MacrosNoVTran"
    "MacrosTiTran"
    "MacrosTiTranRe"
    "MacrosNoTiTranRe"
    "MacrosNoTiTran"
    "SeparacionInternaFlecha"
    "SeparacionExternaFlecha"
    "SeparacionFlechaArriba"
    "vtran"
    "notran"
    "novtran"
    "calR"
    "calA"
    "calB"
    "calP"
    "calO"
    "gtree"
    "oldemph"
    "transf"
    "query"
    "acr")
   (LaTeX-add-environments
    '("handout" 1)
    '("nohandout" 1)
    "itquery")
   (LaTeX-add-counters
    "query"
    "queryant"))
 :latex)