File:Hinze2012 adjunctions circumflex.png

Hinze 2012, "Generic Programming with Adjunctions" creates two new variable names by adorning the letter A with the upright and inverted circumflex symbols.