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.) |
(introduce variable name category) |
||
| 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} \)) 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). | ||
[[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.]] | ||
Revision as of 16:03, 12 July 2021
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, "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.
