Image may be NSFW.
Clik here to view.
This is used in Categories for the Working Mathematician to introduce two opposing functors U,V between the category of sets and the category of K-vector spaces, where K is a field.
Can this be done in a LaTeX code that renders on MSE?
