Dear All, Acting on some very helpful comments from Phil Clayton, I have revised the proposed scheme for translating between Unicode and the ProofPower extended character set. The revised scheme is described here:
http://www.lemma-one.com/ProofPower/unicode/pp-unicode.html (You can find the earlier version at http://www.lemma-one.com/ProofPower/unicode/v0/pp-unicode.html) The new scheme for you to look at with your e-mail client follows below. As before, Mac OS X supports all the necessary glyphs. If you install the STIX fonts on Linux (stix-fonts on Fedora, fonts-stix on Ubuntu), there is now a good chance that you will have all you need. Any feedback will be much appreciated. Regards, Rob. 0x80: %subset%: โ 0x81: %rsub%: โฉฅ 0x82: %bagunion%: โจ 0x83: %bbU%: ๐ 0x84: %Delta%: ๐ฅ 0x85: %fcomp%: โ 0x86: %Phi%: ๐ท 0x87: %Gamma%: ๐ค 0x88: %EZ%: โ 0x89: %down%: โ 0x8A: %Theta%: ๐ฉ 0x8B: %dcat%: โ/ 0x8C: %Lambda%: ๐ฌ 0x8D: %mem%: โ 0x8E: %notmem%: โ 0x8F: %bij%: โค 0x90: %Pi%: ๐ฑ 0x91: %SML%: โ 0x92: %rres%: โท 0x93: %Sigma%: ๐ด 0x94: %<:%: โฃ 0x95: %Upsilon%: ๐ถ 0x96: %boolean%: ๐น 0x97: %Omega%: ๐บ 0x98: %Xi%: ๐ฏ 0x99: %Psi%: ๐น 0x9A: %emptyset%: โ 0x9B: %up%: โ 0x9C: %BHH%: โ 0x9D: %SZG%: โ 0x9E: %finj%: โค 0x9F: %ffun%: โป 0xA0: %psubset%: โ 0xA1: %intersect%: โฉ 0xA2: %rseq%: โฉ 0xA3: %symdiff%: โ 0xA4: %equiv%: โ 0xA5: %dintersect%: โ 0xA6: %def%: โ 0xA7: %lseq%: โจ 0xA8: %lrelimg%: โฆ 0xA9: %rrelimg%: โฆ 0xAA: %rel%: โ 0xAB: %overwrite%: โ 0xAC: %<%: โ 0xAD: %fun%: โ 0xAE: %>%: โ 0xAF: %real%: โ 0xB0: %EFT%: โ 0xB1: %and%: โง 0xB2: %or%: โจ 0xB3: %not%: ยฌ 0xB4: %implies%: โ 0xB5: %forall%: โ 0xB6: %exists%: โ 0xB7: %spot%: โฆ 0xB8: %x%: ร 0xB9: %SFT%: โ 0xBA: %bigcolon%: โฆ 0xBB: %rcomp%: โจพ 0xBC: %leq%: โค 0xBD: %neq%: โ 0xBE: %geq%: โฅ 0xBF: %symbol%: ๐ 0xC0: %union%: โช 0xC1: %alpha%: ๐ผ 0xC2: %beta%: ๐ฝ 0xC3: %refinedby%: โ 0xC4: %delta%: ๐ฟ 0xC5: %select%: ๐ 0xC6: %phi%: ๐ 0xC7: %gamma%: ๐พ 0xC8: %eta%: ๐ 0xC9: %iota%: ๐ 0xCA: %theta%: ๐ 0xCB: %kappa%: ๐ 0xCC: %fn%: ๐ 0xCD: %mu%: ๐ 0xCE: %nu%: ๐ 0xCF: %psurj%: โค 0xD0: %pi%: ๐ 0xD1: %chi%: ๐ 0xD2: %rho%: ๐ 0xD3: %sigma%: ๐ 0xD4: %tau%: ๐ 0xD5: %upsilon%: ๐ 0xD6: %complex%: โ 0xD7: %omega%: ๐ 0xD8: %xi%: ๐ 0xD9: %psi%: ๐ 0xDA: %zeta%: ๐ 0xDB: %SX%: โฆ 0xDC: %BV%: โ 0xDD: %EX%: โฆ 0xDE: %dunion%: โ 0xDF: %pfun%: โธ 0xE0: %inj%: โฃ 0xE1: %dsub%: โฉค 0xE2: %bottom%: โฅ 0xE3: %Leftarrow%: โ 0xE4: %psupset%: โ 0xE5: %supset%: โ 0xE6: %fset%: ๐ฝ 0xE7: %uptext%: โ 0xE8: %dntext%: โ 0xE9: %replacedby%: โก 0xEA: %cantext%: โ 0xEB: %cat%: โ 0xEC: %extract%: โฟ 0xED: %map%: โฆ 0xEE: %nat%: โ 0xEF: %surj%: โ 0xF0: %pset%: โ 0xF1: %SZT%: โฉ 0xF2: %dres%: โ 0xF3: %rat%: โ 0xF4: %thm%: โข 0xF5: %ulbegin%: โจฝ 0xF6: %ulend%: โจผ 0xF7: %BT%: โ 0xF8: %uminus%: ๏นฃ 0xF9: %filter%: โพ 0xFA: %int%: โค 0xFB: %lbag%: โฆ 0xFC: %BH%: โ 0xFD: %rbag%: โง 0xFE: %pinj%: โค 0xFF: %SZS%: โ
_______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
