"left side of the assignment" vs. "left-hand side of the assignment"

[Jaakov]

Dear all:

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?

Best,

Jaakov.

[John Hall]

Post by Jaakov
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.

[Jaakov]

Post by John Hall

Post by Jaakov
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.