Z13695: Versjèl tösje versies
Updated the implementation list |
Engels (Z1002): aliases |
||
Tekslien 168: | Tekslien 168: | ||
"\u003C=", |
"\u003C=", |
||
"≯" |
"≯" |
||
] |
|||
}, |
|||
{ |
|||
"Z1K1": "Z31", |
|||
"Z31K1": "Z1002", |
|||
"Z31K2": [ |
|||
"Z6", |
|||
"not greater than (natural numbers)", |
|||
" N₁ ≤ N₂", |
|||
"N \u003C= N", |
|||
" ℕ₁ ≯ ℕ₂", |
|||
"not N₁ \u003E N₂", |
|||
"not N \u003E N", |
|||
" ℕ₁ ≤ ℕ₂" |
|||
] |
] |
||
} |
} |
Versie op 4 mei 2024 15:36
Zonder JavaScript is de weergave van deze pagina beperkt.