blob: a1d38ffd77d8779a16036cdd7e662d4d5251cbe3 (
plain)
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
|
no encoding:
c0 | À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
d0 | Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Ú Û Ü Ý Þ ß
e0 | à á â ã ä å æ ç è é ê ë ì í î ï
f0 | ð ñ ò ó ô õ ö ÷ ø ù ú û ü ý þ ÿ
UTF8:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16LE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16BE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32LE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32BE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF8-BOM:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
True
no encoding:
c0 | À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
d0 | Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Ú Û Ü Ý Þ ß
e0 | à á â ã ä å æ ç è é ê ë ì í î ï
f0 | ð ñ ò ó ô õ ö ÷ ø ù ú û ü ý þ ÿ
UTF8:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16LE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16BE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32LE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32BE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF8-BOM:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
True
no encoding:
c0 | À Á Â Ã Ä Å Æ Ç È É Ê Ë Ì Í Î Ï
d0 | Ð Ñ Ò Ó Ô Õ Ö × Ø Ù Ú Û Ü Ý Þ ß
e0 | à á â ã ä å æ ç è é ê ë ì í î ï
f0 | ð ñ ò ó ô õ ö ÷ ø ù ú û ü ý þ ÿ
UTF8:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16LE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16BE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF16:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32LE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF32BE:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
UTF8-BOM:
(∘) :: ∀ α β γ . (β → γ) → (α → β) → (α → γ)
𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘𝑙𝑚𝑛𝑜𝑝𝑞𝑟𝑠𝑡𝑢𝑣𝑤𝑥𝑦𝑧
True
|
