Possible error?
A content ERROR was logged by "a user" at the following url:
The issue as described by the user:
I think variable symbols: 𝑢 and 𝑣 is mixed up. It should be:
We call a partial function 𝑎:𝑉⇀⋃𝑣∊𝑉𝐷𝑣 a variable assignment if 𝑎(𝑣)∊𝐷𝑣 for all 𝑣∊𝐝𝐨𝐦(𝑎).
The text highlighted while reporting this issue:
We call a
partial function
𝑎:𝑉⇀⋃𝑢∊𝑉𝐷𝑢
a
variable assignment
if
𝑎(𝑣)∊𝐷𝑣
for all
𝑣∊𝐝𝐨𝐦(𝑎).