Running antFarm: Yes, can not load Komma in the window (tried this via the "+")

Omega and Co: $Ω$ have completed inserting this, wherever necessary. but none of those is visible on lecture.activemath as far as I see. I guess it's not defined properly.

FYI: I also changed $P(A)$ to $ap(P,A)$ as it is a effectively is a function. Hope this is ok.

Must be a major error with the two other files, right? I don't see where I could start working with them now.