MathDecode
What do these strange symbols mean?
Γ
⊢
A
1
→
A
2
Γ
⊢
A
1
Γ
⊢
A
2
Modus Ponens
\frac{\Gamma \vdash A_1 \to A_2 \quad \Gamma \vdash A_1}{\Gamma \vdash A_2} \quad \text{Modus Ponens}
Γ
⊢
A
2
Γ
⊢
A
1
→
A
2
Γ
⊢
A
1
Modus Ponens
∑
i
=
1
n
α
i
⋅
v
i
∈
R
d
\sum_{i=1}^{n} \alpha_i \cdot \mathbf{v}_i \in \mathbb{R}^d
i
=
1
∑
n
α
i
⋅
v
i
∈
R
d
∫
−
∞
∞
e
−
x
2
/
2
σ
2
d
x
=
σ
2
π
\int_{-\infty}^{\infty} e^{-x^2/2\sigma^2} dx = \sigma\sqrt{2\pi}
∫
−
∞
∞
e
−
x
2
/2
σ
2
d
x
=
σ
2
π
It's actually not that complex.
I didn't know either, and that's why I created this site.
Start Learning
Sign in to track progress