Dear Rob
I have just one small query - about the minus sign problem I had a lot of trouble with this, as you might expect, when translating between Spivey latex and standard Z, but it can be done. I donβt know whether translating from Proofpower is more difficult, but it would be nice to get this right if possible while you are translating to Unicode. Or am I missing something? All the best Anthony From: Proofpower [mailto:proofpower-boun...@lemma-one.com] On Behalf Of Rob Arthan Sent: 28 March 2015 16:03 To: ProofPower List Subject: [ProofPower] Updated Unicode translation scheme 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 Proofpower@lemma-one.com http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
