Testing(s)

testing

[sup]t[/sup]e[sub]s[/sub]t[sup]i[/sup]n[sub]g[/sub]

Sig test.

Let [symbol]a[/symbol] be the sentence such that [symbol]a[/symbol] [symbol]«[/symbol] ([symbol]"[/symbol]x)(R(x, |[symbol]a[/symbol]|) [symbol]®[/symbol] O(x)), where R(x, y) is interpreted as “x can read the sentence with Gödel number y” and O(x) is interpreted as “x is overeducated”. The existence of [symbol]a[/symbol] is guaranteed by the fixed point theorem.

testing my new sig

Testing ** bold **

Just a test.:slight_smile:

maybe some bold

[sup]R[/sup]O[sub]A[/sub]D[sup]K[/sup]I[sub]L[/sub]L[sup]E[/sup]R

[sup]R[/sup]O[sub]A[/sub]D[sup]K[/sup]I[sub]L[/sub]L[sup]E[/sup]R

[sup]R[/sup]O[sub]A[/sub]D[sup]K[/sup]I[sub]L[/sub]L[sup]E[/sup]R

weirdness!

That took far too long to make…