October 27, 2003. ת: Logical Symbols.

Professor Mark Kaplan talked about bayesianism in a workshop today. Before the workshop, he helped me with a couple of logical symbols. I'd been looking for a symbol for " X is not necessarily equal to, but maybe equal to Y". He suggested I write:

~ x=y

or

~ x=y,

where I've taken these gif symbols from Professor Suber's logical symbols page at Earlham. I found the pdf webpage which has the unicode symbols, but I apparently don't have the right fonts on this computer. Here are some symbols that it would be nice to have show up:

࢛ ࢘ A1; C7;

I also am looking for a symbol for "x is greater than y for some values of x but not for all values of x". That might be handy for my options paper, where the price of some but not all call options on stock S rise with the riskiness of S.

[ permalink, http://php.indiana.edu/~erasmuse/w/03.10.27b.htm ]

To return to Eric Rasmusen's weblog, click http://php.indiana.edu/~erasmuse/w/0.rasmusen.htm.