Fungrim home page

Fungrim symbol: Implies

Symbol: Implies —

\left(x\right) \;\implies\; \left(y\right)

— Logical implication

Definitions:

Fungrim symbol	Notation	Short description

Source code for this entry:

Entry(ID("379aa0"),
    SymbolDefinition(Implies, Implies(x, y), "Logical implication"))

Topics using this symbol

The symbol Implies appears in 39 topics:

Hurwitz zeta function (in 16 entries)
Greatest common divisor (in 11 entries)
Exponential function (in 11 entries)
Digamma function (in 11 entries)
Carlson symmetric elliptic integrals (in 10 entries)
Barnes G-function (in 9 entries)
Complex parts (in 7 entries)
Bessel functions (in 6 entries)
Sinc function (in 5 entries)
Totient function (in 4 entries)
Factorials and binomial coefficients (in 4 entries)
Arithmetic-geometric mean (in 4 entries)
Weierstrass elliptic functions (in 3 entries)
Stirling numbers (in 3 entries)
Modular lambda function (in 3 entries)
Zeros of the Riemann zeta function (in 2 entries)
Sine (in 2 entries)
Riemann zeta function (in 2 entries)
Prime numbers (in 2 entries)
Partition function (in 2 entries)
Modular j-invariant (in 2 entries)
Keiper-Li coefficients (in 2 entries)
Inverse tangent (in 2 entries)
Gamma function (in 2 entries)
Bernoulli numbers and polynomials (in 2 entries)
Bell numbers (in 2 entries)
Stieltjes constants (in 1 entries)
Square roots (in 1 entries)
Powers (in 1 entries)
Natural logarithm (in 1 entries)
Modular transformations (in 1 entries)
Landau's function (in 1 entries)
Lambert W-function (in 1 entries)
Jacobi theta functions (in 1 entries)
Integer sequences (in 1 entries)
Golden ratio (in 1 entries)
Elementary logic and set theory (in 1 entries)
Eisenstein series (in 1 entries)
Dirichlet L-functions (in 1 entries)

Entries using this symbol

The symbol Implies appears in 140 entries:

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC