cat03/preamble.tex at master · StructMath/cat03 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
\usepackage{amsthm}
\usepackage{amsmath, amsfonts, mathabx}
\usepackage{mathtools,array,booktabs,mathabx,stmaryrd}
\usepackage[hidelinks]{hyperref}
\usepackage{tocloft}
\usepackage{titletoc}
\usepackage{graphicx}
\usepackage{natbib}
\usepackage[inline]{enumitem}
\usepackage{forest}
\forestset{m/.style={baseline,
            for tree={parent anchor=south,
              child anchor=north,
              align=center,
              inner sep=0pt}}}
\usepackage{diagbox}
\usepackage{bussproofs}
\usepackage[tableaux]{prooftrees}
\EnableBpAbbreviations
\usepackage{pdflscape}
\usepackage{multicol}
\usepackage[top=2cm]{geometry}
\usepackage{xparse}
\usepackage{xepersian}
\usepackage{proof}
\usepackage{tikz}
\usetikzlibrary{matrix,arrows}
\usepackage{tikz-cd}
\tikzstyle{line}=[draw]


\settextfont[Scale=1.3]{IRBadr}
\linespread{1.2}

\newcommand*{\maximumNumberOfQuestions}{200}


\newlistof{exn}{exn}{}
\theoremstyle{definition}
\newtheorem{exc}[exn]{پرسش}
\newcommand{\exn}[1]{\setcounter{exn}{#1}\addtocounter{exn}{-1}\exc%
\addcontentsline{exn}{exn}{\protect\numberline{}#1}%
}

\counterwithin*{equation}{exn}

\titlecontents*{exn}[0pt]{}{}{}{%
%TODO status
}[\quad][]

\setlist[enumerate,1]{label={(\harfi*)}}

\makeatletter
\newcommand{\inlineitem}[1][]{%
\ifnum\enit@type=\tw@
    {\descriptionlabel{#1}}
  \hspace{\labelsep}%
\else
  \ifnum\enit@type=\z@
       \refstepcounter{\@listctr}\fi
    \quad\@itemlabel\hspace{\labelsep}%
\fi}
\makeatother
\parindent=0pt


\usepackage{versions}
\excludeversion{ans}

\makeatletter
\providecommand*{\sledom}{%
  \mathrel{%
    \mathpalette\@sledom\models
  }%
}
\newcommand*{\@sledom}[2]{%
  \reflectbox{$\m@th#1#2$}%
}
\makeatother

\renewcommand\beginmarkversion{\\\textbf{پاسخ: }}
\renewcommand\endmarkversion{}

\forestset{line numbering = false, just sep = 0em, check with = {:}}

\newcommand{\agrr}{\text{ ~ اگرر ~ }}
\newcommand{\va}{\text{ ~ و ~ }}