bradley_spring22: formula evidence

The rendered column is KaTeX, and KaTeX has no preamble. It cannot use \usepackage or this document’s own macros. Corpus-wide, \bm occurs 327 times, \Perp is defined by no package and spans 10 documents, and 11,088 of 11,624 undefined occurrences are the source document’s own macros. A row that looks wrong here may be correct, and one that looks right here may not compile. The LaTeX report renders through the document’s own preamble and is the surface to judge from.

181 rows

Inline formulas (first occurrence) (181)

The page, the confidence and the picture of an inline formula are its HOST LINE's --- a formula has none of its own. A line's confidence is not a formula's.

IdentifierPageConf.LaTeX sourceRenderedImage
bradley_spring22_FO000131.000pbradley_spring22_FO0001
bradley_spring22_FO000231.0001 / pbradley_spring22_FO0002
bradley_spring22_FO000331.000p=1bradley_spring22_FO0003
bradley_spring22_FO000431.0001 / p=1 / 1=1bradley_spring22_FO0004
bradley_spring22_FO000531.000\log (1 / p)=\log (1)=0bradley_spring22_FO0005
bradley_spring22_FO000631.000\log (1 / p)bradley_spring22_FO0006
bradley_spring22_FO000731.000xbradley_spring22_FO0007
bradley_spring22_FO000831.000\log (x)bradley_spring22_FO0008
bradley_spring22_FO000931.000\log (1)=0bradley_spring22_FO0009
bradley_spring22_FO001061.0002 \times 3=6bradley_spring22_FO0010
bradley_spring22_FO001161.000ybradley_spring22_FO0011
bradley_spring22_FO001261.000x \times ybradley_spring22_FO0012
bradley_spring22_FO001371.000x ybradley_spring22_FO0013
bradley_spring22_FO001471.000\left(x^{3}\right)^{2} y^{4} x^{-1}bradley_spring22_FO0014
bradley_spring22_FO001571.000x^{2}+7 x+12^{\prime \prime}bradley_spring22_FO0015
bradley_spring22_FO001671.000(2 \times 3) \times 5bradley_spring22_FO0016
bradley_spring22_FO001771.0002 \times(3 \times 5)bradley_spring22_FO0017
bradley_spring22_FO001870.985A_{\infty}bradley_spring22_FO0018
bradley_spring22_FO001981.00020=19.999 \ldotsbradley_spring22_FO0019
bradley_spring22_FO002090.982X^{\prime \prime}bradley_spring22_FO0020
bradley_spring22_FO002190.983Xbradley_spring22_FO0021
bradley_spring22_FO0022100.803\left(\frac{1}{2}, \frac{1}{2}\right)bradley_spring22_FO0022
bradley_spring22_FO0023100.803\left(\frac{2}{5}, \frac{1}{2}, \frac{1}{10}\right)bradley_spring22_FO0023
bradley_spring22_FO0024101.000(7,3)bradley_spring22_FO0024
bradley_spring22_FO0025101.000\left(-\frac{2}{5},-\frac{1}{2},-\frac{1}{10}\right)bradley_spring22_FO0025
bradley_spring22_FO0026101.000\frac{1}{2}bradley_spring22_FO0026
bradley_spring22_FO0027101.000\frac{2}{5}, \frac{1}{2}bradley_spring22_FO0027
bradley_spring22_FO0028101.000\frac{1}{10}bradley_spring22_FO0028
bradley_spring22_FO0029100.960nbradley_spring22_FO0029
bradley_spring22_FO0030100.997\{1,2, \ldots, n\}bradley_spring22_FO0030
bradley_spring22_FO0031100.997p=\left(p_{1}, p_{2}, \ldots, p_{n}\right)bradley_spring22_FO0031
bradley_spring22_FO0032111.000p_{1}+p_{2}+\cdots+p_{n}=1bradley_spring22_FO0032
bradley_spring22_FO0033110.917\left(p_{1}, p_{2}, \ldots, p_{n}\right)bradley_spring22_FO0033
bradley_spring22_FO0034111.000n=2bradley_spring22_FO0034
bradley_spring22_FO0035111.000\{1,2\}bradley_spring22_FO0035
bradley_spring22_FO0036111.000p_{1}=\frac{1}{2}bradley_spring22_FO0036
bradley_spring22_FO0037111.000p_{2}=\frac{1}{2}bradley_spring22_FO0037
bradley_spring22_FO0038111.000p=\left(p_{1}, p_{2}\right)bradley_spring22_FO0038
bradley_spring22_FO0039111.000p=\left(\frac{1}{2}, \frac{1}{2}\right)bradley_spring22_FO0039
bradley_spring22_FO0040111.000H(p)bradley_spring22_FO0040
bradley_spring22_FO0041120.966\log (1)-\log (p)bradley_spring22_FO0041
bradley_spring22_FO0042120.966-\log (p)bradley_spring22_FO0042
bradley_spring22_FO0043121.000-\log \left(p_{1}\right)bradley_spring22_FO0043
bradley_spring22_FO0044121.000-\log \left(p_{2}\right)bradley_spring22_FO0044
bradley_spring22_FO0045120.983\operatorname{logarithm} \log (p)bradley_spring22_FO0045
bradley_spring22_FO0046121.000p=(1,0)bradley_spring22_FO0046
bradley_spring22_FO0047121.000\frac{1}{n}bradley_spring22_FO0047
bradley_spring22_FO0048121.000\left(\frac{1}{n}, \frac{1}{n}, \ldots, \frac{1}{n}\right)bradley_spring22_FO0048
bradley_spring22_FO0049121.000\log (n)bradley_spring22_FO0049
bradley_spring22_FO0050121.0000 \leq H(p) \leq \log (n)bradley_spring22_FO0050
bradley_spring22_FO0051131.000Hbradley_spring22_FO0051
bradley_spring22_FO0052131.000\Delta_{n}bradley_spring22_FO0052
bradley_spring22_FO0053131.000\Delta^{n-1}bradley_spring22_FO0053
bradley_spring22_FO0054131.000\mathbb{R}bradley_spring22_FO0054
bradley_spring22_FO0055131.000H: \Delta_{n} \rightarrow \mathbb{R}bradley_spring22_FO0055
bradley_spring22_FO0056131.000f: X \rightarrow Ybradley_spring22_FO0056
bradley_spring22_FO0057131.000fbradley_spring22_FO0057
bradley_spring22_FO0058131.000Ybradley_spring22_FO0058
bradley_spring22_FO0059131.000f(x)bradley_spring22_FO0059
bradley_spring22_FO0060140.979n=1,2,3, \ldotsbradley_spring22_FO0060
bradley_spring22_FO0061141.000H_{n}bradley_spring22_FO0061
bradley_spring22_FO0062141.000H: \Delta_{1} \rightarrow \mathbb{R}bradley_spring22_FO0062
bradley_spring22_FO0063141.000H: \Delta_{2} \rightarrow \mathbb{R}bradley_spring22_FO0063
bradley_spring22_FO0064141.000H: \Delta_{3} \rightarrow \mathbb{R}bradley_spring22_FO0064
bradley_spring22_FO0065141.000\Delta_{1}, \Delta_{2}, \Delta_{3}, \ldotsbradley_spring22_FO0065
bradley_spring22_FO0066141.000\Delta_{1}bradley_spring22_FO0066
bradley_spring22_FO0067141.000\Delta_{2}bradley_spring22_FO0067
bradley_spring22_FO0068141.000\Delta_{3}bradley_spring22_FO0068
bradley_spring22_FO0069141.000\Delta_{4}bradley_spring22_FO0069
bradley_spring22_FO0070141.000n=1bradley_spring22_FO0070
bradley_spring22_FO0071150.985x, ybradley_spring22_FO0071
bradley_spring22_FO0072150.985x+y=1bradley_spring22_FO0072
bradley_spring22_FO0073151.000y=1-xbradley_spring22_FO0073
bradley_spring22_FO0074151.000n=3bradley_spring22_FO0074
bradley_spring22_FO0075150.999x, y, zbradley_spring22_FO0075
bradley_spring22_FO0076150.922x+y+z=1bradley_spring22_FO0076
bradley_spring22_FO0077150.922z=1-x-ybradley_spring22_FO0077
bradley_spring22_FO0078151.000n=4bradley_spring22_FO0078
bradley_spring22_FO0079151.000n-1bradley_spring22_FO0079
bradley_spring22_FO0080170.51610 \%bradley_spring22_FO0080
bradley_spring22_FO0081171.000q=\left(\frac{2}{5}, \frac{1}{2}, \frac{1}{10}\right)bradley_spring22_FO0081
bradley_spring22_FO0082171.000r=\left(\frac{3}{10}, \frac{7}{10}\right)bradley_spring22_FO0082
bradley_spring22_FO0083171.000qbradley_spring22_FO0083
bradley_spring22_FO0084171.000rbradley_spring22_FO0084
bradley_spring22_FO0085170.977\frac{1}{2} \times \frac{2}{5}=\frac{1}{5}bradley_spring22_FO0085
bradley_spring22_FO0086171.000\frac{1}{2} \times \frac{1}{2}=\frac{1}{4}bradley_spring22_FO0086
bradley_spring22_FO0087170.988\frac{1}{2} \times \frac{1}{10}=\frac{1}{20}bradley_spring22_FO0087
bradley_spring22_FO0088171.000\frac{3}{20}bradley_spring22_FO0088
bradley_spring22_FO0089171.000\frac{7}{20}bradley_spring22_FO0089
bradley_spring22_FO0090171.000\left(\frac{1}{5}, \frac{1}{4}, \frac{1}{20}, \frac{3}{20}, \frac{7}{20}\right)bradley_spring22_FO0090
bradley_spring22_FO0091171.000\Delta_{5}bradley_spring22_FO0091
bradley_spring22_FO0092180.999p \times(q, r)bradley_spring22_FO0092
bradley_spring22_FO0093201.000f: \mathbb{R}^{2} \rightarrow \mathbb{R}bradley_spring22_FO0093
bradley_spring22_FO0094200.856(x, y)bradley_spring22_FO0094
bradley_spring22_FO0095200.856f(x, y)=x ybradley_spring22_FO0095
bradley_spring22_FO0096201.000p=bradley_spring22_FO0096
bradley_spring22_FO0097200.999f: \mathbb{R}^{n} \rightarrow \mathbb{R}bradley_spring22_FO0097
bradley_spring22_FO0098201.000x=\left(x_{1}, x_{2}, \ldots, x_{n}\right)bradley_spring22_FO0098
bradley_spring22_FO0099201.000p_{1}, p_{2}, \ldots, p_{n}bradley_spring22_FO0099
bradley_spring22_FO0100201.000x=bradley_spring22_FO0100
bradley_spring22_FO0101200.995\left(x_{1}, x_{2}, \ldots, x_{n}\right)bradley_spring22_FO0101
bradley_spring22_FO0102200.995p_{1} x_{1}+p_{2} x_{2}+\cdots+p_{n} x_{n}bradley_spring22_FO0102
bradley_spring22_FO0103211.000p, qbradley_spring22_FO0103
bradley_spring22_FO0104211.000p \circ(q, r)bradley_spring22_FO0104
bradley_spring22_FO0105211.000H(p \circ(q, r))bradley_spring22_FO0105
bradley_spring22_FO0106211.000H(q)bradley_spring22_FO0106
bradley_spring22_FO0107211.000H(r)bradley_spring22_FO0107
bradley_spring22_FO0108211.000H(p \circ(q, r)) \stackrel{?}{=} H(p)+H(q)+H(r)bradley_spring22_FO0108
bradley_spring22_FO0109221.000q^{1}, q^{2}, \ldots, q^{n}bradley_spring22_FO0109
bradley_spring22_FO0110221.000p_{1}bradley_spring22_FO0110
bradley_spring22_FO0111221.000q^{1}bradley_spring22_FO0111
bradley_spring22_FO0112221.000q^{2}bradley_spring22_FO0112
bradley_spring22_FO0113221.000\Delta_{17}bradley_spring22_FO0113
bradley_spring22_FO0114221.000q^{3}bradley_spring22_FO0114
bradley_spring22_FO0115221.000p \circ\left(q^{1}, q^{2}, \ldots, q^{n}\right)bradley_spring22_FO0115
bradley_spring22_FO0116221.000\left\{F: \Delta_{n} \rightarrow\right.bradley_spring22_FO0116
bradley_spring22_FO0117221.000\mathbb{R}\}bradley_spring22_FO0117
bradley_spring22_FO0118221.000Fbradley_spring22_FO0118
bradley_spring22_FO0119221.000F=c Hbradley_spring22_FO0119
bradley_spring22_FO0120221.000cbradley_spring22_FO0120
bradley_spring22_FO0121231.000\left\{F: \Delta_{n} \rightarrow \mathbb{R}\right\}_{n \geq 1}bradley_spring22_FO0121
bradley_spring22_FO0122231.000H(p \circ q)=H(p)+H(q)bradley_spring22_FO0122
bradley_spring22_FO0123230.998\circbradley_spring22_FO0123
bradley_spring22_FO0124230.641f(\bullet \bullet)=f(\bullet) f(\bullet)bradley_spring22_FO0124
bradley_spring22_FO0125230.641\bulletbradley_spring22_FO0125
bradley_spring22_FO0126231.000p \circ q=qbradley_spring22_FO0126
bradley_spring22_FO0127231.000H(p)=0bradley_spring22_FO0127
bradley_spring22_FO0128231.000H(q)=H(q)bradley_spring22_FO0128
bradley_spring22_FO0129241.000q^{1}=qbradley_spring22_FO0129
bradley_spring22_FO0130241.000q^{2}=rbradley_spring22_FO0130
bradley_spring22_FO0131251.000f: \mathbb{R} \rightarrow \mathbb{R}bradley_spring22_FO0131
bradley_spring22_FO0132251.000f^{\prime}bradley_spring22_FO0132
bradley_spring22_FO0133251.000\frac{d f}{d x}bradley_spring22_FO0133
bradley_spring22_FO0134251.000d(f)bradley_spring22_FO0134
bradley_spring22_FO0135251.000gbradley_spring22_FO0135
bradley_spring22_FO0136251.000(f g)^{\prime}bradley_spring22_FO0136
bradley_spring22_FO0137251.000g^{\prime}bradley_spring22_FO0137
bradley_spring22_FO0138250.999(f g)^{\prime}(x)=f^{\prime}(x) g(x)+f(x) g^{\prime}(x)bradley_spring22_FO0138
bradley_spring22_FO0139250.978f gbradley_spring22_FO0139
bradley_spring22_FO0140251.000d(f g)=d(f) g+f d(g)bradley_spring22_FO0140
bradley_spring22_FO0141251.000dbradley_spring22_FO0141
bradley_spring22_FO0142250.322d(\bullet \bullet)=d(\bullet) \bullet+\bullet d(\bullet)bradley_spring22_FO0142
bradley_spring22_FO0143251.000Abradley_spring22_FO0143
bradley_spring22_FO0144250.737[0,1]bradley_spring22_FO0144
bradley_spring22_FO0145251.000d:[0,1] \rightarrow \mathbb{R}bradley_spring22_FO0145
bradley_spring22_FO0146251.000d(x)=-x \log (x)bradley_spring22_FO0146
bradley_spring22_FO0147251.000x>0bradley_spring22_FO0147
bradley_spring22_FO0148251.000d(x)=0bradley_spring22_FO0148
bradley_spring22_FO0149251.000x=0bradley_spring22_FO0149
bradley_spring22_FO0150250.958d(x y)=d(x) y+x d(y)bradley_spring22_FO0150
bradley_spring22_FO0151261.000d: A \rightarrow Abradley_spring22_FO0151
bradley_spring22_FO0152261.000d(a b)=d(a) b+a d(b)bradley_spring22_FO0152
bradley_spring22_FO0153261.000abradley_spring22_FO0153
bradley_spring22_FO0154261.000bbradley_spring22_FO0154
bradley_spring22_FO0155260.996Mbradley_spring22_FO0155
bradley_spring22_FO0156260.996A^{\prime \prime}bradley_spring22_FO0156
bradley_spring22_FO0157260.996d: A \rightarrow Mbradley_spring22_FO0157
bradley_spring22_FO0158261.000d(a)bradley_spring22_FO0158
bradley_spring22_FO0159261.000d(a) bbradley_spring22_FO0159
bradley_spring22_FO0160261.000a d(b)bradley_spring22_FO0160
bradley_spring22_FO0161261.0000.5 \times 8=4bradley_spring22_FO0161
bradley_spring22_FO0162260.9600.5 \timesbradley_spring22_FO0162
bradley_spring22_FO0163261.000d(b)bradley_spring22_FO0163
bradley_spring22_FO0164260.848\mathbf{v}bradley_spring22_FO0164
bradley_spring22_FO0165260.848kbradley_spring22_FO0165
bradley_spring22_FO0166271.000\left\{H: \Delta_{n} \rightarrow \mathbb{R}\right\}bradley_spring22_FO0166
bradley_spring22_FO0167270.947\left\{d: \Delta_{n} \rightarrow \boldsymbol{-}\right\}bradley_spring22_FO0167
bradley_spring22_FO0168271.000d(p): \mathbb{R}^{n} \rightarrow \mathbb{R}bradley_spring22_FO0168
bradley_spring22_FO0169271.000\mathbb{R}^{n}bradley_spring22_FO0169
bradley_spring22_FO0170270.921\operatorname{hom}\left(\mathbb{R}^{n}, \mathbb{R}\right)bradley_spring22_FO0170
bradley_spring22_FO0171271.000\left\{d: \Delta_{n} \rightarrow \operatorname{hom}\left(\mathbb{R}^{n}, \mathbb{R}\right)\right\}bradley_spring22_FO0171
bradley_spring22_FO0172271.000d(p \circ q)=d(p) \circ q+q \circ d(q)bradley_spring22_FO0172
bradley_spring22_FO0173271.000p \circ qbradley_spring22_FO0173
bradley_spring22_FO0174271.000d(p) \circ qbradley_spring22_FO0174
bradley_spring22_FO0175271.000q \circ d(q)bradley_spring22_FO0175
bradley_spring22_FO0176271.000d(q)bradley_spring22_FO0176
bradley_spring22_FO0177271.000\mathbb{R}^{n} \rightarrow \mathbb{R}bradley_spring22_FO0177
bradley_spring22_FO0178281.000d\left(p \circ\left(q^{1}, q^{2}, \ldots, q^{n}\right)\right)bradley_spring22_FO0178
bradley_spring22_FO0179291.000d(p)(x)=H(p)bradley_spring22_FO0179
bradley_spring22_FO0180291.000d(p)(x)=c H(p)bradley_spring22_FO0180
bradley_spring22_FO0181291.000d(p)(0)=c H(p)bradley_spring22_FO0181