This document is purely a test case to test out HTML and PDF generation and style.

This is some body text.

int main()
{
    double d = 2.345;
    return d;
}

We can count in Greek too: α, β, γ.

Try some superscripts and subscripts: x², x_i³, α², β^α, ⌊x⌋, ⌊α⌋, ⌈a⌉.