isaac@goanna.oz (Isaac Balbin) (11/03/88)
For a friend: Has anyone got/constructed a MetaFont containing the following symbols. [[ These are used, say in denotational semantics They are not just one bracket on another, but are joined with a slightly rounded edge ---- you will know what I mean if you have the symbol! ]] What about the single R for the set of reals, P for positive integers, Q for rationals etc --- the ones with the double line in them. Thanks, in advance, ---------------------------------------------------------------------------- Isaac Balbin Department of Computer Science, ACSnet: isaac@goanna.oz RMIT, GPO BOX 2476 V, ARPA:isaac%goanna.oz.au@uunet.uu.net Melbourne, 3001 CSNET: isaac%goanna.oz.au@australia AUSTRALIA UUCP: ...!uunet!goanna.oz.au!isaac