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.
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…