|
|
1110.
|
|
|
down tack
|
| Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊤' (U+22a4)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/orca/mathsymbols.py:1866
|
|
|
1111.
|
|
|
up tack
|
| Context: |
|
math symbol
|
|
|
Translators: this is the spoken representation for the character '⊥' (U+22a5)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
src/orca/mathsymbols.py:1869
|
|
|
1112.
|
|
|
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
|
|
|
1113.
|
|
|
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
|
|
|
1114.
|
|
|
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
|
|
|
1115.
|
|
|
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
|
|
|
1116.
|
|
|
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
|
|
|
1117.
|
|
|
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
|
|
|
1118.
|
|
|
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
|
|
|
1119.
|
|
|
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
|
