Decoding my old notes
 

So I found this lying around in some of my old database theory notes... I know I wrote it this way because it was a lot more concise than trying to write it out in English, but I'm wondering if anyone here can decode it...

∀T∈a⋈b(∃S∈a(∀x∈S(S[x]=T[x]))∧∃U∈b(∀y∈U(U[y]=T[y])))→∀z∈S∩U(S[z]=U[z])

S, T, and U are tuples, and S[x] means "the value of the property x in the tuple S".

Am I correct in guessing that the symbols are mathematical in origin? *sees Koine Greek, and associates with math*

Yeah, they're math symbols. Those aren't Greek at all. That's not an epsilon; that looks like ε in this font. :P

You clearly figured out the secret to time travel, but didn't want anyone--including yourself--to read the equation.

I have half a mind to ask my CS friends on FB...

That's kind of wise of Coda :p-smile:
Like life isn't complicated enough already, we'd lose the ability to get over things.
I'd try if this was a rainy day and the net connection was cranky but I don't want to use my brain right now:p-dead: