On 05.04.2015 13:00, John Hall wrote:
> In message <mfr3nb$pmr$9@speranza.aioe.org>, Jaakov
> <jaakovREMOVEIT@DELETEITro.ru> writes
>> Today I had a similar issue. We have assignments, not an equation here:
>>
>>
>> For each \(k < \omega\) let
>> \(((X^k_t)_{t<n},(Y^k_t)_{t<n}) \colonequals
>> F_1^k\left((\emptyset)_{t<n},(\emptyset)_{t<n}\right)\)
>> and
>> \((Z^k_t)_{t<n} \colonequals H_2^k((\emptyset)_{t<n})\)
>> (where \(k\) is an upper index on the left-hand side and an exponent
>> on the right-hand side of the assignments).
>>
>>
>> Would you still write "-hand" here with the same ease as for equations?
>
> I can't see why it should make any difference whether they are equations
> or assignments.
Some people see equations are mirror-invariant, having no left and no
right side. Assignments are not mirror-invariant.
|
|