Set minus on different domains
A content ERROR was logged by "Christopher Roßbach" at the following url:
The issue as described by the user:
Du is a domain of a variable whereas dom(a) is a set of variables, so subtracting them does not seem reasonable. Maybe e \in D_u | u \notin dom(a) is ment.
The text highlighted while reporting this issue:
(𝐷𝑢\𝐝𝐨𝐦(𝑎))