Circumflex to Distinguish Variable Names: Difference between revisions

From Why start at x, y, z
(Introduce the upright and inverted circumflex convention, with an example.)
 
m (Added common readings of diacritical marks.)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
[[Category:Unpleasantness]]
[[Category:Unpleasantness]]
[[Category:Variable Names]]


Some authors create new variable names by adorning well-known symbols (like \( A \)) with the upright (\( \hat{A} \)) and inverted (\( \check{A} \)) circumflex.  Depending on the font, these tiny diacritical marks can be hard to discern at a glance.  A particularly egregious example is found in Hinze 2012, [http://www.cs.ox.ac.uk/ralf.hinze/LN.pdf "Generic Programming with Adjunctions"] (p. 5).
Some authors create new variable names by adorning well-known symbols (like \( A \)) with the upright (\( \hat{A} \)), read “A hat”, and inverted (\( \check{A} \)) circumflex, read as “A check”.  Depending on the font, these tiny diacritical marks can be hard to discern at a glance.  A particularly egregious example is found in Hinze 2012, [http://www.cs.ox.ac.uk/ralf.hinze/LN.pdf "Generic Programming with Adjunctions"] (p. 5).


[[File:Hinze2012 adjunctions circumflex.png|frame|center|Hinze 2012, [http://www.cs.ox.ac.uk/ralf.hinze/LN.pdf "Generic Programming with Adjunctions"] (p. 5) creates two new variable names by adorning the letter A with upright and inverted circumflex symbols.]]
[[File:Hinze2012 adjunctions circumflex.png|frame|center|Hinze 2012, [http://www.cs.ox.ac.uk/ralf.hinze/LN.pdf "Generic Programming with Adjunctions"] (p. 5) creates two new variable names by adorning the letter A with upright and inverted circumflex symbols.]]

Latest revision as of 16:40, 12 July 2021


Some authors create new variable names by adorning well-known symbols (like \( A \)) with the upright (\( \hat{A} \)), read “A hat”, and inverted (\( \check{A} \)) circumflex, read as “A check”. Depending on the font, these tiny diacritical marks can be hard to discern at a glance. A particularly egregious example is found in Hinze 2012, "Generic Programming with Adjunctions" (p. 5).

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