Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
gmcninch-tufts
GitHub Repository: gmcninch-tufts/2024-Sp-Math190
 Path: blob/main/course-contents/auto/notes-formal-02.el
908 views
1
(TeX-add-style-hook

2
 "notes-formal-02"

3
 (lambda ()

4
   (TeX-add-to-alist 'LaTeX-provided-package-options

5
                     '(("fontenc" "T1") ("inputenc" "utf8") ("geometry" "top=2cm" "bottom=2cm" "left=2cm" "right=2cm")))

6
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "href")

7
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "hyperimage")

8
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "hyperbaseurl")

9
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "nolinkurl")

10
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "url")

11
   (add-to-list 'LaTeX-verbatim-macros-with-braces-local "path")

12
   (add-to-list 'LaTeX-verbatim-macros-with-delims-local "path")

13
   (TeX-run-style-hooks

14
    "latex2e"

15
    "article"

16
    "art10"

17
    "amsmath"

18
    "amssymb"

19
    "iftex"

20
    "fontenc"

21
    "inputenc"

22
    "textcomp"

23
    "unicode-math"

24
    "lmodern"

25
    "upquote"

26
    "microtype"

27
    "parskip"

28
    "xcolor"

29
    "hyperref"

30
    "mathrsfs"

31
    "mathtools"

32
    "amscd"

33
    "geometry"

34
    "color"

35
    "bussproofs"

36
    "selnolig"

37
    "bookmark"

38
    "xurl")

39
   (TeX-add-symbols

40
    '("prd" 1)

41
    "tightlist"

42
    "type"

43
    "id"

44
    "comp")

45
   (LaTeX-add-labels

46
    "a-derivation-about-renaming-variables"

47
    "dependent-function-types"

48
    "pi-formation-rule"

49
    "pi-introduction-rule"

50
    "pi-elimination-rule"

51
    "pi-computation-rule"

52
    "ordinary-function-types"

53
    "construction-of-the-identity-function"

54
    "construction-of-the-composition-of-two-functions"

55
    "bibliography"

56
    "bibliography-1"))

57
 :latex)

58


59


60