Logiweb dictionary of peanorapport

Up Help

0 0 peanorapport
1 0 ˙0
2 0 ˙1
3 0 ˙2
4 0 ȧ
5 0 ḃ
6 0 ċ
7 0 ḋ
8 0 ė
9 0 ḟ
10 0 ġ
11 0 ḣ
12 0 i̇
13 0 j̇
14 0 k̇
15 0 l̇
16 0 ṁ
17 0 ṅ
18 0 ȯ
19 0 ṗ
20 0 q̇
21 0 ṙ
22 0 ṡ
23 0 ṫ
24 0 u̇
25 0 v̇
26 0 ẇ
27 0 ẋ
28 0 ẏ

29 0 ż

30 2 ṅonfree(∗, ∗) 31 2 ṅonfree^{∗}(∗, ∗) 32 3 ḟree⟨∗|∗ := ∗⟩ 33 3 ḟree^{∗}⟨∗|∗ := ∗⟩ 34 4 ∗≡⟨∗|∗ := ∗⟩ 35 4 ∗≡⟨^{∗}∗|∗ := ∗⟩ 36 0 S′ 37 0 A1′ 38 0 A2′ 39 0 A3′ 40 0 A4′ 41 0 A5′ 42 0 S1′ 43 0 S2′ 44 0 S3′ 45 0 S4′ 46 0 S5′ 47 0 S6′ 48 0 S7′ 49 0 S8′ 50 0 S9′ 51 0 MP′ 52 0 Gen′ 53 0 L3.2(a)′ 54 0 L3.2(b)′ 55 0 L3.2(c)′ 56 0 L3.2(d)′ 57 0 L3.2(f)′ 58 0 L3.2(g)′ 59 0 L3.2(g)′II 60 0 L3.2(h)′basis 61 0 L3.2(h)′ 62 0 Taut1 63 0 Taut2 64 0 Taut3 65 0 Taut4 66 0 Weaken 67 0 M1.7 68 0 MPTwice

69 0 nani tenu taka...:69
70 0 nani tenu taka...:70
71 1 ˙∗

72 1 ∗′ 73 2 ∗ ˙· ∗ 74 2 ∗ ˙+ ∗

75 2 ∗ =^{p} ∗

76 1 ∗^{P} 77 1 ˙¬ ∗

78 2 nani tenu taka...:78
79 2 nani tenu taka...:79

80 2 ˙∀∗: ∗

81 2 nani tenu taka...:81

82 2 ∗ ˙⇒ ∗

83 2 nani tenu taka...:83
84 2 nani tenu taka...:84

The pyk compiler, version 0.grue.20050603 by Klaus Grue GRD-2005-06-30.UTC:07:17:36.765255 = MJD-53551.TAI:07:18:08.765255 = LGT-4626832688765255e-6