Circumflex to Distinguish Variable Names - Revision history

Hpecora1: Added common readings of diacritical marks.

2021-07-12T16:40:42Z

Added common readings of diacritical marks.

← Older revision		Revision as of 17:40, 12 July 2021
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.]]

Benrbray: introduce variable name category

2021-07-12T16:03:23Z

introduce variable name category

← Older revision		Revision as of 17:03, 12 July 2021
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.]]

Benrbray: Introduce the upright and inverted circumflex convention, with an example.

2021-07-12T16:01:13Z

Introduce the upright and inverted circumflex convention, with an example.

New page

[[Category:Unpleasantness]]

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.]]