Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T11:31:29Z http://mathoverflow.net/feeds/question/74574 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74574/notation-in-freges-grundgesetze-der-arithmetik-the-u-with-a-flourish Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish J.J. Green 2011-09-05T11:55:19Z 2011-10-17T18:13:12Z <p>In the <em>Grundgesetze der Arithmetik</em>, Frege used a number of strange characters for notation. I would be most interested to know anything about the <em>typography</em> (origin, usage and so on) of the strange U with a flourish which occurs in the following.</p> <p>I am no logician, but I am given to understand that the symbol (U in the following) is used as "a function-name ‘Ux’ in such a way that if y is the extension of a relation, then Uy is the extension of its inverse".</p> <p><img src="http://miles.shef.ac.uk/~jjg/def-epsilon.jpg" alt="alt text"> <img src="http://miles.shef.ac.uk/~jjg/u02.jpg" alt="alt text"></p> <p>Thanks in advance!</p> <p>[edit]</p> <p>In response to some of the comments as to the relevance of this question to mathematics, I add my motivation for it. I have heard it said (by a rather famous Frege scholar) that Frege chose his notation by taking whatever was available in the [type] box. I have come to the view that this is not the case, and that Frege often chose his notation rather carefully. This rather obscure issue leads me to seek the typographic origins of these symbols. I know the origins of most of those in the <em>Grundgesetze</em> (which are surprisingly diverse: phonetics, commerce, German, Greek, ...) but a few remain unidentified, hence the question. </p> http://mathoverflow.net/questions/74574/notation-in-freges-grundgesetze-der-arithmetik-the-u-with-a-flourish/74585#74585 Answer by Carlo Beenakker for Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish Carlo Beenakker 2011-09-05T14:22:19Z 2011-09-06T08:46:11Z <p>Frege used an unusual German Fraktur font for the fancy U. This has created many problems for modern typesetters, as one can read in a 1982 edition: "After unrecallable arrangements had been made for composing the book, it proved that Gothic letters (Frege's deutsche Buchstaben) were not available."</p> <p>The sharp angles and ligatures in the fancy U are characteristic for a Fraktur font, but there are many variations. I have searched the web for precisely this U, and have not found it.</p> <p>These typographic issues are of course quite unrelated to mathematics, but not entirely; see "Maths = typography?"</p> <p><a href="http://www.tug.org/TUGboat/tb24-2/tb77lawrence.pdf" rel="nofollow">http://www.tug.org/TUGboat/tb24-2/tb77lawrence.pdf</a></p> <p>Unrelated to the original question, but noteworthy in this context, is the question how to typeset Frege's symbols in a modern document. Fortunately, this is possible with Metafont and LaTeX (the fancy U is \fgeU), see</p> <p><a href="http://soliton.vm.bytemark.co.uk/pub/jjg/en/code/fge.html" rel="nofollow">http://soliton.vm.bytemark.co.uk/pub/jjg/en/code/fge.html</a></p> http://mathoverflow.net/questions/74574/notation-in-freges-grundgesetze-der-arithmetik-the-u-with-a-flourish/74618#74618 Answer by axisofeval for Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish axisofeval 2011-09-05T20:35:48Z 2011-09-05T20:35:48Z <p>"Umkehren" means to reverse - in the sense of a car turning around, for example. My guess - knowing nothing about it - would be that it is a custom U character, with the two additional lines signifying turning around.</p> http://mathoverflow.net/questions/74574/notation-in-freges-grundgesetze-der-arithmetik-the-u-with-a-flourish/74620#74620 Answer by Marcus Rossberg for Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish Marcus Rossberg 2011-09-05T21:01:15Z 2011-09-05T21:01:15Z <p>Frege uses Fraktur ("Gothic letters") for quantified variables, lower case for first-order variables, upper case for second-order variables. The "fancy U" does not belong to these.</p> <p>The "fancy U" is similar in style to ligatures of standard abbreviations, like old signs for weights and other measures. The sign for "Pre" is pretty close (214C):</p> <p><a href="http://www.unicode.org/charts/PDF/U2100.pdf" rel="nofollow">http://www.unicode.org/charts/PDF/U2100.pdf</a></p> <p>If the crucial 'P'-bit wasn't missing, this could almost be it.</p> <p>The custom characters Frege uses look much more ham-fisted than his elegant character, compare his character for "Endlos", his sign for the smallest infinite cardinality (right side of the equation):</p> <p><a href="http://homepages.uconn.edu/~mar08022/pics/1-122-150.pdf" rel="nofollow">http://homepages.uconn.edu/~mar08022/pics/1-122-150.pdf</a></p> <p>(The character on the left that looks like a script 'N' or 'A' is an overturned 'lb'-ligature, for "libra": pound.)</p> <p>This speaks for the "Fancy U"'s being a symbol that was present in the type-setters box.</p> http://mathoverflow.net/questions/74574/notation-in-freges-grundgesetze-der-arithmetik-the-u-with-a-flourish/78369#78369 Answer by Udo Wermuth for Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish Udo Wermuth 2011-10-17T18:13:12Z 2011-10-17T18:13:12Z <p>The symbol stands for the currency ``Mark.'' It is an old symbol developed in handwritten manuscripts. As far as I know it is a lowercase m with an abbreviation symbol to indicate that letters are dropped. The lowercase m has changed to a simple horizontal bar.</p> <p>See the OLD FLOURISH MARK SIGN on page 156 of <a href="http://www.mufi.info/specs/MUFI-Alphabetic-3-0.pdf" rel="nofollow">http://www.mufi.info/specs/MUFI-Alphabetic-3-0.pdf</a>.</p>