|
1113.
|
|
|
assertion
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊦' (U+22a6)
|
|
|
|
pieņēmums
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1872
|
|
1114.
|
|
|
models
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊧' (U+22a7)
|
|
|
|
modelē
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1875
|
|
1115.
|
|
|
true
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊨' (U+22a8)
|
|
|
|
patiess
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1878
|
|
1116.
|
|
|
forces
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊩' (U+22a9)
|
|
|
|
forsē
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1881
|
|
1117.
|
|
|
triple vertical bar right turnstile
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊪' (U+22aa)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/orca/mathsymbols.py:1884
|
|
1118.
|
|
|
double vertical bar double right turnstile
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊫' (U+22ab)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/orca/mathsymbols.py:1887
|
|
1119.
|
|
|
does not prove
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊬' (U+22ac)
|
|
|
|
nepierāda
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1890
|
|
1120.
|
|
|
not true
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊭' (U+22ad)
|
|
|
|
nav patiess
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1893
|
|
1121.
|
|
|
does not force
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊮' (U+22ae)
|
|
|
|
neforsē
|
|
Translated by
Rūdolfs Mazurs
|
|
|
|
Located in
src/orca/mathsymbols.py:1896
|
|
1122.
|
|
|
negated double vertical bar double right turnstile
|
Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊯' (U+22af)
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/orca/mathsymbols.py:1899
|