Circumflex to Distinguish Variable Names: Difference between revisions
From Why start at x, y, z
(introduce variable name category) |
m (Added common readings of diacritical marks.) |
||
| Line 2: | Line 2: | ||
[[Category:Variable Names]] | [[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.
