On 5/24/2013 7:16 PM, Manu wrote: > So when we define operators for u × v and a · b, or maybe n²? ;) Oh, how I want to do that. But I still think the world hasn't completely caught up with Unicode yet.