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
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
# frege package
# Matthew Bertucci 9/7/2021 for v1.3
#include:amssymb
#ifOption:bguq
#include:bguq
#endif
\Fcontent
\Fcontent[scale]
\F#*
\F[scale]#*
\Fncontent
\Fncontent[scale]
\Fn#*
\Fn[scale]#*
\Fnncontent
\Fnncontent[scale]
\Fnn#*
\Fnn[scale]#*
\Facontent
\Facontent[scale]
\Fa#*
\Fa[scale]#*
\Fancontent
\Fancontent[scale]
\Fan#*
\Fan[scale]#*
\Fanncontent
\Fanncontent[scale]
\Fann#*
\Fann[scale]#*
\Fquant{arg}
\Fquant[scale]{arg}
\Fq#*
\Fq[scale]#*
\Fnquant{arg}
\Fnquant[scale]{arg}
\Fnq{arg}#*
\Fnq[scale]{arg}#*
\Fnnquant{arg}
\Fnnquant[scale]{arg}
\Fnnq{arg}#*
\Fnnq[scale]{arg}#*
\Fquantn{arg}
\Fquantn[scale]{arg}
\Fqn{arg}#*
\Fqn[scale]{arg}#*
\Fquantnn{arg}
\Fquantnn[scale]{arg}
\Fqnn{arg}#*
\Fqnn[scale]{arg}#*
\Fnquantn{arg}
\Fnquantn[scale]{arg}
\Fnqn{arg}#*
\Fnqn[scale]{arg}#*
\Fnquantnn{arg}
\Fnquantnn[scale]{arg}
\Fnqnn{arg}
\Fnqnn[scale]{arg}
\Fnnquantn{arg}
\Fnnquantn[scale]{arg}
\Fnnqn{arg}#*
\Fnnqn[scale]{arg}#*
\Fnnquantnn{arg}
\Fnnquantnn[scale]{arg}
\Fnnqnn{arg}#*
\Fnnqnn[scale]{arg}#*
\Faquant{arg}
\Faquant[scale]{arg}
\Faq{arg}#*
\Faq[scale]{arg}#*
\Fanquant{arg}
\Fanquant[scale]{arg}
\Fanq{arg}#*
\Fanq[scale]{arg}#*
\Fannquant{arg}
\Fannquant[scale]{arg}
\Fannq{arg}#*
\Fannq[scale]{arg}#*
\Faquantn{arg}
\Faquantn[scale]{arg}
\Faqn{arg}#*
\Faqn[scale]{arg}#*
\Faquantnn{arg}
\Faquantnn[scale]{arg}
\Faqnn{arg}#*
\Faqnn[scale]{arg}#*
\Fanquantn{arg}
\Fanquantn[scale]{arg}
\Fanqn{arg}#*
\Fanqn[scale]{arg}#*
\Fanquantnn{arg}
\Fanquantnn[scale]{arg}
\Fanqnn{arg}#*
\Fanqnn[scale]{arg}#*
\Fannquantn{arg}
\Fannquantn[scale]{arg}
\Fannqn{arg}#*
\Fannqn[scale]{arg}#*
\Fannquantnn{arg}
\Fannquantnn[scale]{arg}
\Fannqnn{arg}#*
\Fannqnn[scale]{arg}#*
\Fconditional{antecedent%formula}{consequent%formula}
\Fconditional[option]{antecedent%formula}{consequent%formula}
\Fcdt{antecedent%formula}{consequent%formula}#*
\Fcdt[option]{antecedent%formula}{consequent%formula}#*
\Fbox{expression%formula}
\Fb{expression%formula}#*
\Fbracket{expression%formula}
\Fbb{expression%formula}#*
\Fargument[premise0%formula]{premise1%formula}{premise2%formula}{conclusion%formula}
\Farg[premise0%formula]{premise1%formula}{premise2%formula}{conclusion%formula}#*
\Fstrut
\Fstrut[scale]
\Fs#*
\Fs[scale]#*
\Fbaselength#*
\Flinewidth#*
\Fspace#*
\Fassertwidth#*
\Fraiseheight#*
\Fnegsep#*
\Fnegshort#*
\Fquantwidth#*
|
