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 23 topics:

Greatest common divisor (in 11 entries)
Bessel functions (in 10 entries)
Complex parts (in 6 entries)
Stirling numbers (in 4 entries)
Factorials and binomial coefficients (in 4 entries)
Weierstrass elliptic functions (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)
Inverse tangent (in 2 entries)
Gamma function (in 2 entries)
Bernoulli numbers and polynomials (in 2 entries)
Square roots (in 1 entries)
Powers (in 1 entries)
Natural logarithm (in 1 entries)
Modular transformations (in 1 entries)
Lambert W-function (in 1 entries)
Golden ratio (in 1 entries)
Exponential function (in 1 entries)
Elementary logic and set theory (in 1 entries)

Entries using this symbol

The symbol Implies appears in 62 entries:

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

2019-06-18 07:49:59.356594 UTC