Fungrim home page

Fungrim entry: 38f111

Symbol: PP P\mathbb{P} Prime numbers
The set of prime numbers.
Fungrim symbol Notation Short description
PPP\mathbb{P} Prime numbers
Source code for this entry:
    SymbolDefinition(PP, PP, "Prime numbers"),
    Description("The set of prime numbers."))

Topics using this entry

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

2020-04-08 16:14:44.404316 UTC