... there are two topics in StackExchange contining such symbols:
https://math.stackexchange.com/questions/46678/what-are-usual-notations-for-surjective-injective-and-bijective-functions
https://math.stackexchange.com/questions/20015/special-arrows-for-notation-of-morphism
s
Unfortunately,
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->
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
FL asked me to post this.
Forwarded Message
Subject: Arrows
Date: Fri, 17 Apr 2020 13:56:36 +0200 (CEST)
From:FL
Hi Norm,
I Hope you are fine.
Can you post that I like Benoît's arrows annotated with a subscript (Grp
etc.) but
that the semantics of arrows like >-> is
