← All symbols

Symbol in context

cc

This entry links every published equation using this exact notation. Its meaning may change between equations.

Meanings in context

Used in 85 equations

∀V. packing⁡(V)  ⟹  ∃c. ∀r. 1≤r  ⟹  card⁡ ⁣(V∩B(0,r))≤πr318+c r2\forall V.\ \operatorname{packing}(V) \implies \exists c.\ \forall r.\ 1 \le r \implies \operatorname{card}\!\left(V \cap B(0,r)\right) \le \frac{\pi r^{3}}{\sqrt{18}} + c\,r^{2}

What a Proof Assistant Changes · Equation 1

This equation states a bound: one expression must stay on the indicated side of the other under the article’s assumptions.

Equation guide → · This term → · Article →