A scan is attached. On Saturday, April 18, 2020 at 10:56:23 AM UTC-4, David Starner wrote: > > On Sat, Apr 18, 2020 at 7:14 AM Norman Megill wrote: > > > > Regarding: > > > > F : A -1-1-> --------> F : A >--> B > > F : A -onto-> --------> F : A -->> B > > F : A -1-1-onto-> --------> F : A >-->> B > > > > Do you have a textbook reference for the new symbols you propose? > > > > The current symbols we use are from Takeuti & Zaring. The are rendered > exactly as in the book on the GIF pages. There are no Unicode symbols for > them, so we provided a rough approximation (putting the symbol parts in a > line instead of stacked vertically). > > Can you provide scans of the pages? They should be in Unicode if > they're being used, and I've helped get a couple characters added in > the past. >
-- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/802c50b1-0aab-4288-a967-d96709ceb65c%40googlegroups.com.
Page27-Takeuti_Zaring-Intro_Axiomatic_Set_Theory.pdf
Description: Adobe PDF document
