On 08/01/2012, at 7:19 PM, john skaller wrote: > > @ x . f1 . f2 . f3 .f4 . #
> Since we now have a lot more TeX operators, I will probably disambiguate > operator . which currently means: struct field, reverse application, and > composition. However you should note that whilst clearly: (f1.f2).f3==f1.(f2.f3) this is also true: @(x.f) == (@x) .f taking the first . to be rev application and the second rev composition. In fact you can keep moving the ) right wards. Which actually suggests the proper notation for rev composition is f @. g so we'd have @ (x . f) == (@x) @. f i.e. the @ is lifting the rev application to rev composition. -- john skaller skal...@users.sourceforge.net ------------------------------------------------------------------------------ Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex infrastructure or vast IT resources to deliver seamless, secure access to virtual desktops. With this all-in-one solution, easily deploy virtual desktops for less than the cost of PCs and save 60% on VDI infrastructure costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language