An upside-down iota logic symbol

Article View: comp.text.tex

Article #389

#389

From: Errol Martin
Date: Thu, 23 Jul 1992 22:26

20 lines
1295 bytes

I would like to use the 'definite description' operator of 
Whitehead and Russell.  It is, effectively, an upside-down
iota, just as the exists and forall operators are upside-
down E and A.  Examples are in Whitehead and Russell's Principia
Mathematica, e.g. there are several uses at the bottom of 
p.66 of Vol. I of Principia Mathematica (same pagination as
the paperback "to *56").

What do I have to do to get this symbol?  If it is part of a 
regular font set then I will be embarassed at having asked the 
net, but pleased to get an answer.  If I need to use Metafont
to create such a symbol, has anyone already done this?

Thank you,

Errol Martin
epm@shubshub.canberra.edu.au
Faculty of Information Sciences and Engineeering
PO Box 1 Belconnen ACT 2602 Australia
Ph: +61 6 201 2153 Fax: +61 6 201 5041

Technical Details

Message-ID: <epm.711930380@shubshub>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!manuel!csc.canberra.edu.au!shubshub!epm

Show Full Headers

Complete Article Headers

Newsgroups: comp.text.tex
Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!manuel!csc.canberra.edu.au!shubshub!epm
From: epm@shubshub.canberra.edu.au (Errol Martin)
Subject: An upside-down iota logic symbol
Message-ID: <epm.711930380@shubshub>
Summary: What do I have to do to get an upside-down iota symbol
Keywords: logic symbol
Sender: news@csc.canberra.edu.au
Organization: Info Sci & Eng, University of Canberra, AUSTRALIA
Date: 23 Jul 92 22:26:20 GMT
Lines: 21