What ⟔ means
It joins two objects according to a shared source.
Category theory studies mathematical objects and the maps between them, drawn as arrows. A pushout starts with two arrows from one source to two objects. It completes the diagram with an object that both map into, so the two routes from the source agree.
For sets, imagine two collections with elements labelled by the same source. Take both collections together, then treat corresponding elements as one. The defining rule is that every other compatible pair of maps out of those collections passes through the pushout in exactly one way. So ⟔ signals a specific mathematical construction, not just any combination.
Specialist mathematical notation for category-theory diagrams.
Part of collections
Don't confuse it with
1
Related characters
1
Questions people ask
1Why does it appear as an empty box?
Your font may lack this glyph. The text can still contain the correct character; a font with suitable mathematical symbols can display it.
More like this
10
How to type or find ⟔
- Search it as
- pushout symbol · pushout diagram · corner with dot · category theory
- Shows up in
- Anything that takes text · its shape is whatever your font draws
⟔\27D4Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.