-
Notifications
You must be signed in to change notification settings - Fork 2
/
metavars.yml
36 lines (36 loc) · 1005 Bytes
/
metavars.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
v1_card_1:
desc: cardinal numbers
domain: Card
mizar: cardinal
url: http://grid01.ciirc.cvut.cz/~mptp/7.13.01_4.181.1147/html/card_1.html#V1
variable: "\u03BA"
v1_int_1:
desc: integers
domain: "\u2124"
mizar: integer
url: http://grid01.ciirc.cvut.cz/~mptp/7.13.01_4.181.1147/html/int_1.html#V1
variable: Z
v1_xcmplx_0:
desc: complex numbers
domain: "\u2102"
mizar: complex
url: http://grid01.ciirc.cvut.cz/~mptp/7.13.01_4.181.1147/html/xcmplx_0.html#V1
variable: C
v1_xreal_0:
desc: real numbers
domain: "\u211D"
mizar: real
url: http://grid01.ciirc.cvut.cz/~mptp/7.13.01_4.181.1147/html/xreal_0.html#V1
variable: R
v1_xxreal_0:
desc: extended real numbers
domain: "\U0001D53C"
mizar: ext-real
url: http://grid01.ciirc.cvut.cz/~mptp/7.13.01_4.181.1147/html/xxreal_0.html#V1
variable: E
v7_ordinal1:
desc: natural numbers
domain: "\u2115"
mizar: natural
url: http://grid01.ciirc.cvut.cz/~mptp/7.13.01_4.181.1147/html/ordinal1.html#V7
variable: N