2013-09-02 12:29:21 -07:00
|
|
|
Set: pp::colors
|
2013-09-03 10:44:51 -07:00
|
|
|
Set: pp::unicode
|
2013-08-31 19:15:48 -07:00
|
|
|
Assumed: x
|
2013-09-02 12:24:29 -07:00
|
|
|
Type U+3 ⊔ M+2 ⊔ 3
|
2013-08-31 19:15:48 -07:00
|
|
|
Assumed: f
|
2013-09-02 12:24:29 -07:00
|
|
|
Type U+10 → Type
|
2013-09-01 10:34:57 -07:00
|
|
|
Type
|
|
|
|
|
Type 5
|
2013-09-02 12:24:29 -07:00
|
|
|
Type U+3 ⊔ M+2 ⊔ 3
|
|
|
|
|
Type U+1 ⊔ M+1
|
|
|
|
|
Type U+3
|
|
|
|
|
Type U+4
|
|
|
|
|
Type U+1 ⊔ M+1
|
|
|
|
|
Type U+1 ⊔ M+1 ⊔ 4
|
|
|
|
|
Type U+1 ⊔ M ⊔ 3
|
|
|
|
|
Type U+2 ⊔ M+1 ⊔ 4
|
|
|
|
|
Type U → Type 5
|
|
|
|
|
Type U+1 ⊔ 6
|
|
|
|
|
Type M+1 ⊔ 4 ⊔ U+6
|
|
|
|
|
Type M ⊔ 3 → Type U → Type 5
|
|
|
|
|
Type M+1 ⊔ 6 ⊔ U+1
|
|
|
|
|
Type U
|
