Notation by work

p-adic Canonical Realization

All notation · Glossary · Source coverage

16 symbol spellings in 1 mathematical passages across 3 selected source files. Subscripts and superscripts have their own entries alongside their base symbols.

The same symbol can have several meanings here. A passage classified as a definition may define another part of its expression. Read the linked context before assigning a meaning.

All 16 entries are available below.

aUse in source · 1 passage

Search aliases: a

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

bUse in source · 1 passage

Search aliases: b

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

cUse in source · 1 passage

Search aliases: c

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

EUse in source · 1 passage

Search aliases: E

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

hUse in source · 1 passage

Search aliases: h

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

IUse in source · 1 passage

Search aliases: I

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

iUse in source · 1 passage

Search aliases: i

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

lUse in source · 1 passage

Search aliases: l

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

MUse in source · 1 passage

Search aliases: M

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

NUse in source · 1 passage

Search aliases: N

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

nUse in source · 1 passage

Search aliases: n

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

oUse in source · 1 passage

Search aliases: o

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

RUse in source · 1 passage

Search aliases: R

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

TUse in source · 1 passage

Search aliases: T

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

tUse in source · 1 passage

Search aliases: t

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

UUse in source · 1 passage

Search aliases: U

Link to this entry ·

Use in source · REPRODUCE.md, line 20
export RUNTIME=/absolute/path/to/Komorebi_Portable_Lean_4.34.0-rc2 export PATH="RUNTIME/toolchain/bin:PATH" python verification/prepare_offline.py "RUNTIME" lean --version lake --version PYTHONDONTWRITEBYTECODE=1 python verification/run_final.py
Exact mathematical passage
```
RUNTIME/toolchain/bin:
```

Source coverage

Automatic extraction covers TeX and Markdown math delimiters and common equation environments in these selected files. It does not interpret diagrams, images, PDF text, program identifiers, or historical archives. Occurrences are navigation aids, not a proof review.

Download all entries, passages and source checksums (JSON) · Collection coverage

research/padic-canonical-realization/README.md · 0 mathematical passages
research/padic-canonical-realization/REPORT.md · 0 mathematical passages
research/padic-canonical-realization/REPRODUCE.md · 1 mathematical passage