snippet templateHs "Start file with template" \documentclass{article} %imports %include polycode.fmt %format (cond (p) (f) (g)) = "\mcond{" p "}{" f "}{" g "}" %format (div (x)(y)) = x "\div " y %format succ = "\succ " %format ==> = "\Longrightarrow " %format map = "\map " %format length = "\length " %format fst = "\p1" %format p1 = "\p1" %format snd = "\p2" %format p2 = "\p2" %format Left = "i_1" %format Right = "i_2" %format i1 = "i_1" %format i2 = "i_2" %format >< = "\times" %format >|< = "\bowtie " %format |-> = "\mapsto" %format . = "\comp " %format .=?=. = "\mathbin{\stackrel{\mathrm{?}}{=}}" %format (kcomp (f)(g)) = f "\kcomp " g %format -|- = "+" %format conc = "\mathsf{conc}" %format summation = "{\sum}" %format (either (a) (b)) = "\alt{" a "}{" b "}" %format (frac (a) (b)) = "\frac{" a "}{" b "}" %format (uncurry f) = "\uncurry{" f "}" %format (const (f)) = "\underline{" f "}" %format TLTree = "\mathsf{TLTree}" %format (lcbr (x)(y)) = "\begin{lcbr}" x "\\" y "\end{lcbr}" %format (split (x) (y)) = "\conj{" x "}{" y "}" %format (for (f) (i)) = "\for{" f "}\ {" i "}" %format B_tree = "\mathsf{B}\mbox{-}\mathsf{tree} " \def\ana#1{\mathopen{[\!(}#1\mathclose{)\!]}} %format <$> = "\mathbin{\mathopen{\langle}\$\mathclose{\rangle}}" %format Either a b = a "+" b %format fmap = "\mathsf{fmap}" %format NA = "\textsc{na}" %format NB = "\textsc{nb}" %format inT = "\mathsf{in}" %format outT = "\mathsf{out}" %format outLTree = "\mathsf{out}" %format inLTree = "\mathsf{in}" %format inFTree = "\mathsf{in}" %format outFTree = "\mathsf{out}" %format Null = "1" %format (Prod (a) (b)) = a >< b %format fF = "\fun F " %format k1 = "k_1 " %format k2 = "k_2 " %format h1 = "h_1 " %format h2 = "h_2 " %format f1 = "f_1 " %format f2 = "f_2 " %format l1 = "l_1 " %format map1 = "map_1 " %format map2 = "map_2 " %format map3 = "map_3" %format l2 = "l_2 " %format Dist = "\fun{Dist}" %format IO = "\fun{IO}" %format LTree = "{\LTree}" %format FTree = "{\FTree}" %format inNat = "\mathsf{in}" %format (cata (f)) = "\cata{" f "}" %format (cataNat (g)) = "\cataNat{" g "}" %format (cataList (g)) = "\cataList{" g "}" %format (anaList (g)) = "\anaList{" g "}" %format Nat0 = "\N_0" %format Rational = "\Q " %format toRational = " to_\Q " %format fromRational = " from_\Q " %format muB = "\mu " %format (frac (n)(m)) = "\frac{" n "}{" m "}" %format (fac (n)) = "{" n "!}" %format (underbrace (t) (p)) = "\underbrace{" t "}_{" p "}" %format matrix = "matrix" %%format (bin (n) (k)) = "\Big(\vcenter{\xymatrix@R=1pt{" n "\\" k "}}\Big)" %format `ominus` = "\mathbin{\ominus}" %format % = "\mathbin{/}" %format <-> = "{\,\leftrightarrow\,}" %format <|> = "{\,\updownarrow\,}" %format `minusNat`= "\mathbin{-}" %format ==> = "\Rightarrow" %format .==>. = "\Rightarrow" %format .<==>. = "\Leftrightarrow" %format .==. = "\equiv" %format .<=. = "\leq" %format .&&&. = "\wedge" %format cdots = "\cdots " %format pi = "\pi " %format (curry (f)) = "\overline{" f "}" %format (cataLTree (x)) = "\llparenthesis\, " x "\,\rrparenthesis" %format (cataFTree (x)) = "\llparenthesis\, " x "\,\rrparenthesis" %format (anaLTree (x)) = "\mathopen{[\!(}" x "\mathclose{)\!]}" %format delta = "\Delta " %format (plus (f)(g)) = "{" f "}\plus{" g "}" %format ++ = "\mathbin{+\!\!\!+}" %format Integer = "\mathbb{Z}" \def\plus{\mathbin{\dagger}} \usepackage[all]{xy} \usepackage{mathtools} \usepackage[a4paper,left=3cm,right=2cm,top=2.5cm,bottom=2.5cm]{geometry} \usepackage{palatino} \usepackage[colorlinks=true,linkcolor=blue,citecolor=blue]{hyperref} \usepackage{graphicx} \usepackage{cp2122t} \usepackage{subcaption} \usepackage{adjustbox} \usepackage{color} \title{\Huge{Some Class}} \author{\huge{Afonso Franco}} \begin{document} \maketitle \newpage \tableofcontents \pagebreak $1 \end{document} endsnippet snippet rule "Add CP rule" \equiv \\{\text{Propriedade ${1:Nome/Numero}}\\}\\\\ endsnippet snippet split "Add CP split" \langle $1 \rangle endsnippet snippet diagram "Create diagram template" \xymatrix{ $1 } endsnippet snippet arrow "Create arrow in diagram" \ar[${1:direction}]^{${2:functions}} endsnippet