W3C home > Mailing lists > Public > www-math@w3.org > July 2009

Re: Default token for Unicode character

From: Christoph LANGE <ch.lange@jacobs-university.de>
Date: Fri, 24 Jul 2009 15:33:05 +0200
To: Urs Holzer <urs@andonyar.com>
Cc: "www-math@w3.org" <www-math@w3.org>
Message-Id: <200907241533.06755.ch.lange@jacobs-university.de>
2009-07-24 15:24 Christoph LANGE <ch.lange@jacobs-university.de>:
> In the very general case, you don't always get a unique answer, as
> functions can also occur as constants, i.e. without arguments.  E.g.
> instead of sin x or sin(x) you'd have statements like "let f = sin, then
> f(x) = ...", or "the [function] vector space spanned by the set {sin,
> cos}".  I'm sure this is also true for certain function symbols that have
> their own Unicode characters.

Of course it is, think of structures like a ring (R,+,·,0,1), or a Turing
Machine T(Q,Σ,Γ,δ,q0,_,F), where + and · are actually operators, and δ is
actually a function.

Cheers,

Christoph

-- 
Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
Received on Friday, 24 July 2009 13:33:53 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:13:05 GMT