I'll be damned if anyone can figure out what song this is:

α ∈ ♀

β ∈ ♂

∴ ¬ς

λ(β)

ω(α)

∴ζ

β ƴ α

α ƴ β

∀x ((x ∈ Ɨ(t)) ∧ (α ∈ Ɨ(t)) ∧ (x ǂ α) → x Ϟ β)

∴(α Ϟ x) ∧ ¬(α ʁ x)

∴ α 어 β

α ∈ Ӝ

∃x (x→ɒ((b τ α) ∧ (b ǂ β)))

∀x (x ∈ ♂ → x Ϟ α)

α ∩ ♂ = ø

α Ϫ (β ∈ ♪)

∀x (x ∈ Ɨ(t) ∧ α ∈ Ɨ(t) → x ƴ ♪)

α φ (α어β)

∃x ((β τ x) ∧ (x ǂ α))

β δ α ∵ γ(α 어 β)

By on 7/23/2009 1:38 AM ()

Oh, by the way, font's important for Unicode. I like SimSung. I downloaded Microsoft's unicode fonts, but I noticed all the monospace fonts either drop symbols or greek letters.

On to your song: and thank God it wasn't code I had to fix for a client!

At first I thought it was "The boys are back in town",
then I thought it was a sad love song from way back
where a guy leaves a devestating note in a tree

Now I have no idea.

It's like a Rorschach or a dream, where taking it from the abstract to the concrete tells you what's on someone's mind more than about the objective truth of the set logic.

α ∈ ♀
a boy
β ∈ ♂
a girl
∴ ¬ς
so it's not confusing
λ(β)
he was a star
ω(α)
she was persuasive
∴ζ
but then it went downhill

β ƴ α
he said yes to her
α ƴ β
she said yes to him
∀x ((x ∈ Ɨ(t)) ∧ (α ∈ Ɨ(t)) ∧ (x ǂ α → x Ϟ β)
At the time all her friends disliked him
∴(α Ϟ x) ∧ ¬(α ʁ x)
She rejected him and wasn't in with him
∴ α 어 β
so she broke up with him
α ∈ Ӝ
she was secure
∃x (x→ɒ((b τ α) ∧ (b ǂ β)))
ultimately: some girl-type was on his mind, and it was not her
∀x (x ∈ ♂ → x Ϟ α)
all the guys said forget her
α ∩ ♂ = ø
she had nothing in common with them
α Ϫ (β ∈ ♪)
he gave her a nice gift, in a song
∀x (x ∈ Ɨ(t) ∧ α ∈ Ɨ(t) → x ƴ ♪)
everyone around her at the time said yes to the music
α φ (α어β)
she made a mistake (in breaking up with him)
∃x ((β τ x) ∧ (x ǂ α))
but she was with someone who wasn't him
β δ α ∵ γ(α 어 β)
so he was angry at her so he chose to break up with her

By on 7/25/2009 8:49 PM ()

Pretty close!

I abstracted some parts more than others. Some of it is a literal translation from the song, many phrases are left out entirely. It's not a very artsy song; it was on the radio a few years ago. Rock/punk rock.

I'm not sure how Visual Studio does it, but it seems to use Meiryo (which is the new apparently award-winning font that came with Vista) whenever I punch something in that isn't offered by the current font I'm using, which is Consolas. I think it might be because I have my default codepage in Windows set to Japanese.

Either way, until F# code can be written and displayed in TeX or MathML or something, I think we should be conservative with the way we use Unicode -- just because using Unicode itself is still a half-baked solution too.

By on 7/26/2009 4:36 PM ()
IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy
Built with WebSharper