Notes
1.
It is the inverse of the many-one function exp.
2.
See the definition
.
3.
Log 1 = 0.
4.
For example, take
z
1
= -
i
,
z
2
=
i.
5.
Definition of Log.