Sindbad~EG File Manager
/* Following are character numbers on the Windows TrueType Symbol font */
#define MULTIPLICATIONCHAR 215 /* multiplication dot */
#define NOTCHAR 216 /* negation */
#define SUMCHAR 229 /* summation sign */
#define PRODUCTCHAR 213 /* indexed product */
#define ORSTRING "or" /* logical or */
#define ARROWCHAR 174 /* limit arrow */
#define DEGREECHAR 176 /* degrees */
#define SEQSTRING "�" /* =>, char 222 */
#define SETMEMBERSHIPCHAR 206 /* special epsilon */
#define EXISTSCHAR 36 /* exists */
#define FORALLCHAR 34 /* for all */
#define LAMBDACHAR 108 /* lambda */
#define BIGGAMMACHAR 71 /* uppercase gamma */
#define BIGPSICHAR 89 /* uppercase psi, for digamma function */
#define PSICHAR 121
#define ALPHACHAR 97
#define BETACHAR 98
#define LITTLEGAMMACHAR 103
#define SIGMACHAR 115
#define MUCHAR 109
#define THETACHAR 113
#define DELTACHAR 100
#define INFINITYCHAR 165
#define PHICHAR 102
#define EPSILONCHAR 101
#define PICHAR 112
#define LAMBDACHAR 108
#define RHOCHAR 114 /* rho, nu, tau, omega, bigomega not used */
#define NUCHAR 110
#define TAUCHAR 116
#define OMEGACHAR 119 /* little omega */
#define BIGOMEGACHAR 87
#define GECHAR 179
#define LECHAR 163
#define NECHAR 185
#define PRIMECHAR 162 /* for y' ; on the Symbol font */
#define ABSCHAR 189 /* vertical bar, for absolute value */
#define INTEGRALCHAR 242 /* one-line integral symbol */
#define SQRTCHAR 214
#define WEIERSTRASSPCHAR 195
#define ZETACHAR 122
#define DOUBLEARROWCHAR 222
#define DOWNARROWCHAR 175
#define COLONCHAR 206
#define MULTIPLICATIONDOT 151
#define NEGATIONCHAR 216
#define LANDCHAR 217
#define LORCHAR 218
#define DEGREECHAR 176
#define SUMCHAR 229
/* There are two sigmas, 83 and 229; 83 is
lighter and smaller; 229 looks better. */
#define LEFTFLOORCHAR 235 /* for bottom left bracket */
#define RIGHTFLOORCHAR 251 /* bottom right bracket */
#define LEFTVERTCHAR 234 /* vertical bar, matches LEFTFLOORCHAR */
#define RIGHTVERTCHAR 250 /* vertical bar, matches RIGHTFLOORCHAR */
#define ONEHALFCHAR 189 /* vulgar fraction one half */
#define ONEQUARTERCHAR 188 /* vulgar fraction one quarter */
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists