Re: Default token for Unicode character

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 UTC