Circumflex to Distinguish Variable Names: Difference between revisions
Jump to navigation
Jump to search
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).
