quiver icon indicating copy to clipboard operation
quiver copied to clipboard

Published 20 hours ago • verified publisher icon varkor

Position should affect adjunction symbols

Open varkor opened this issue 3 years ago • 0 comments

Labels are rarely associated with adjunctions, so it would make more sense for position to affect the symbol itself.

varkor avatar Oct 15 '21 18:10 varkor