Re: [ProofPower] Unicode and ProofPower

Thu, 12 Mar 2015 05:48:12 -0700 

On 12 Mar 2015, at 12:31, Rob Arthan <[email protected]> wrote:

> Below, as a further test of your e-mail client, you will find the ASCII 
> encoding and UTF-8 encoding of the corresponding Unicode for all the 
> characters in the ProofPower extended character set.

I missed a few. There is a complete list of all 128 characters below. N.b., 
they are sorted by the ASCII encoding: the numbers are just to make sure they 
are all there and don’t relate to the ProofPower single-byte encoding.

Regards,

Rob.

     1  %<%: ⌜
     2  %<:%: πŸ…ƒ
     3  %>%: ⌝
     4  %BH%: ─
     5  %BHH%: ═
     6  %BT%: β”œ
     7  %BV%: β”‚
     8  %Delta%: Ξ”
     9  %EFT%: β–ˆ
    10  %EX%: ⦎
    11  %EZ%: β””
    12  %Gamma%: Ξ“
    13  %Lambda%: Ξ›
    14  %Leftarrow%: ⇐
    15  %Omega%: Ξ©
    16  %Phi%: Ξ¦
    17  %Pi%: Ξ 
    18  %Psi%: Ξ¨
    19  %SFT%: β“ˆ
    20  %SML%: πŸ„Ό
    21  %SX%: ⦏
    22  %SZG%: β•’
    23  %SZS%: β”Œ
    24  %SZT%: πŸ…‰
    25  %Sigma%: Ξ£
    26  %Theta%: Θ
    27  %Upsilon%: Ξ₯
    28  %Xi%: Ξ
    29  %alpha%: Ξ±
    30  %and%: ∧
    31  %bagunion%: ⨄
    32  %bbU%: π•Œ
    33  %beta%: Ξ²
    34  %bigcolon%: ⦂
    35  %bij%: β€–
    36  %boolean%: 𝔹
    37  %bottom%: βŠ₯
    38  %cantext%: ↕
    39  %cat%: ⁀
    40  %chi%: Ο‡
    41  %complex%: β„‚
    42  %dcat%: ⁀/
    43  %def%: β‰œ
    44  %delta%: Ξ΄
    45  %dintersect%: β‹‚
    46  %dntext%: β†˜
    47  %down%: β‹Ž
    48  %dres%: ◁
    49  %dsub%: β©€
    50  %dunion%: ⋃
    51  %emptyset%: βˆ…
    52  %equiv%: ⇔
    53  %eta%: Ξ·
    54  %exists%: βˆƒ
    55  %extract%: β†Ώ
    56  %fcomp%: ∘
    57  %ffun%: ⇻
    58  %filter%: β†Ύ
    59  %finj%: ―
    60  %fn%: Ξ»
    61  %forall%: βˆ€
    62  %fset%: 𝔽
    63  %fun%: β†’
    64  %gamma%: Ξ³
    65  %geq%: β‰₯
    66  %implies%: β‡’
    67  %inj%: ↣
    68  %int%: β„€
    69  %intersect%: ∩
    70  %iota%: ΞΉ
    71  %kappa%: ΞΊ
    72  %lbag%: ⟦
    73  %leq%: ≀
    74  %lrelimg%: ⦇
    75  %lseq%: γ€ˆ
    76  %map%: ↦
    77  %mem%: ∈
    78  %mu%: ΞΌ
    79  %nat%: β„•
    80  %neq%: β‰ 
    81  %not%: Β¬
    82  %notmem%: βˆ‰
    83  %nu%: Ξ½
    84  %omega%: Ο‰
    85  %or%: ∨
    86  %overwrite%: βŠ•
    87  %pfun%: β‡Έ
    88  %phi%: Ο•
    89  %pi%: Ο€
    90  %pinj%: β€”
    91  %pset%: β„™
    92  %psi%: Ο†
    93  %psubset%: βŠ‚
    94  %psupset%: βŠƒ
    95  %psurj%: β€€
    96  %rat%: β„š
    97  %rbag%: ⟧
    98  %rcomp%: β¨Ύ
    99  %real%: ℝ
   100  %refinedby%: βŠ‘
   101  %rel%: ↔
   102  %replacedby%: ≑
   103  %rho%: ρ
   104  %rrelimg%: ⦈
   105  %rres%: β–·
   106  %rseq%: 〉
   107  %rsub%: β©₯
   108  %select%: Ο΅
   109  %sigma%: Οƒ
   110  %spot%: ⦁
   111  %subset%: βŠ†
   112  %supset%: βŠ‡
   113  %surj%: β† 
   114  %symbol%: π•Š
   115  %symdiff%: βŠ–
   116  %tau%: Ο„
   117  %theta%: ΞΈ
   118  %thm%: ⊒
   119  %ulbegin%: ₍
   120  %ulend%: β‚Ž
   121  %uminus%: οΉ£
   122  %union%: βˆͺ
   123  %up%: ⋏
   124  %upsilon%: Ο…
   125  %uptext%: β†—
   126  %x%: Γ—
   127  %xi%: ΞΎ
   128  %zeta%: ΞΆ



_______________________________________________
Proofpower mailing list
[email protected]
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to